StateFactory

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total30 of 37592%4 of 2685%938575525
canonic(CollectiveRecordIF)60%n/a111111
add(MorphicSet, VariableReferenceValueIF)60%n/a111111
newVariableSet(LinkedHashSet)50%n/a111111
computePathCondition(MorphicVector)44592%2675%250901
newVariableSet()40%n/a111111
variableSetFactory()30%n/a111111
static {...}2675%1150%120101
values(StateIF)92100%11393%1802001
StateFactory(ModelSequence, DynamicFactoryIF)87100%n/a0101601
canonic(StateIF)20100%2100%020501
state(ModelStateIF[], ValueIF, MorphicVector)17100%n/a010301
canonicalizeChildren(StateIF)12100%n/a010201
collectiveLoopRecord(CollectiveAssertionIF, MorphicArray, ValueIF, ValueIF, MorphicArray, boolean)10100%n/a010101
collectiveRecord(CollectiveAssertionIF)9100%n/a010101
symbolicConstants(StateIF)9100%n/a010201
simplifier(boolean)6100%n/a010101
collectiveRecord(CollectiveAssertionIF, MorphicArray)6100%n/a010101
numStates()4100%n/a010101
variableSetArrayFactory()4100%n/a010101
useLoopTechnique()3100%n/a010101
dynamicFactory()3100%n/a010101
modelStateFactory()3100%n/a010101
recordFactory()3100%n/a010101
queueFactory()3100%n/a010101
processStateArrayFactory()3100%n/a010101