State

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total23 of 36594%18 of 5265%1752492026
computeEquals(Morphic)73583%4867%3731301
setModelState(int, ModelStateIF)41173%2250%230301
setPathCondition(ValueIF)4969%2250%230301
setCollectiveQueue(MorphicVector)4969%2250%230301
descriptor()22091%1375%131501
static {...}2675%1150%120101
locations()66100%6100%0401401
canonicalizeChildren(DynamicFactoryIF, ModelStateFactoryIF, CollectiveRecordFactory, MorphicVectorFactory)46100%3562%3501001
commitChildren()32100%2467%240701
State(int, ModelStateIF[], ValueIF, MorphicVector)27100%n/a0101001
computeHashCode()19100%1150%120401
toString()10100%n/a010101
permanentPathCondition()7100%n/a010101
modelState(int)5100%n/a010101
setCanonicalId(int)4100%n/a010201
setSeen(boolean)4100%n/a010201
setOnStack(boolean)4100%n/a010201
setIsNonDeterministic(boolean)4100%n/a010201
instanceId()3100%n/a010101
canonicalId()3100%n/a010101
modelStates()3100%n/a010101
pathCondition()3100%n/a010101
collectiveQueue()3100%n/a010101
seen()3100%n/a010101
onStack()3100%n/a010101
isNonDeterministic()3100%n/a010101