AbsoluteDeadlock

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total176 of 44661%7 of 3681%9243610126
holdsAt(StateIF)8312861%32188%313185301
explanation()5411568%4867%4782801
AbsoluteDeadlock(ModelIF, int, DynamicFactoryIF, StateFactoryIF, LogIF)360%n/a11101011
getException()30%n/a111111
AbsoluteDeadlock(ModelIF, DynamicFactoryIF, StatefulEnvironmentIF, EvaluatorIF, LogIF)25100%n/a010901
toString()2100%n/a010101