PotentialDeadlock

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total112 of 39672%4 of 3990%627269637
holdsAt(StateIF)6814067%12496%114135001
PotentialDeadlock(ModelIF, int, DynamicFactoryIF, StateFactoryIF, LogIF)330%n/a119911
explanation()80%20%223311
getException()30%n/a111111
synchronouslyEnabled(int, SendStatementIF)120100%11192%1702401
PotentialDeadlock(ModelIF, DynamicFactoryIF, StatefulEnvironmentIF, EvaluatorIF, LogIF)22100%n/a010801
toString()2100%n/a010101