Constant HERMIT_MODEL_DEADLOCK_LINE 

pub const HERMIT_MODEL_DEADLOCK_LINE: &str = "HERMIT_MODEL_DEADLOCK class=deadlock-under-hermit-model";

The stderr class line Hermit prints, last, for a run that ended with HERMIT_GUEST_DEADLOCK_EXIT: a deadlock under Hermit’s model. Named for the model, not the guest, because the verdict is only as complete as the model (see HERMIT_GUEST_DEADLOCK_EXIT).