ModelEnvironment

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total625 of 2,87578%63 of 27277%5518991524950
printStateLong(PrintWriter, String)19938866%81667%613165801
setLocation(ProcessIF, LocationIF)8514964%61267%410185301
numMessages(ProcessIF, ProcessIF)670%140%88131311
canonicalizeHeap(ProcessIF, Sourceable)4822282%62681%51795401
valueOfLocal(LocalCellIF)426460%2250%2321801
probe(ProcessIF, ProcessIF, ValueIF)360%40%337711
match(ProcessIF, ProcessIF, ValueIF, ProcessIF, ProcessIF, ValueIF)256773%21286%2831601
locations()200%20%224411
numMessages(ModelIF)130%40%332211
setValue(ModelCellIF, ValueIF)123172%1480%1511101
valueOf(ModelCellIF)122668%1480%151601
setValueLocal(LocalCellIF, ValueIF)917895%21488%2924401
pop(ProcessIF)97689%2675%2521901
computeReachableHeap(ProcessIF, Set, Set)710794%21890%21111601
dequeue(ProcessIF, ProcessIF, ValueIF)612795%21488%2922501
setValueHeap(HeapCellIF, ValueIF)58695%1788%1512001
addAssumption(ValueIF)50%n/a111111
getAssumption()50%n/a111111
setAssumption(ValueIF)50%n/a111111
push(ProcessIF, LocationIF)13497%11192%1713101
configuration()0%n/a111111
model()0%n/a111111
printVariableValue(PrintWriter, String, ModelCellIF)3394%2250%231901
static {...}675%1150%120101
enqueue(MessageIF)130100%16100%0902601
setValueProcess(ProcessCellIF, ValueIF)91100%8100%0502001
dfs(ValueIF, Collection, Set, Set, ProcessIF)58100%12100%0701301
setValueShared(SharedCellIF, ValueIF)46100%4100%0301001
ModelEnvironment(ModelIF, ModelStateFactoryIF, LogIF)40100%n/a0101101
hasMessage(ProcessIF, ProcessIF, ValueIF)29100%4100%030501
terminated(ModelIF)20100%4100%030501
location(int)19100%2100%020301
precedes(ProcessIF, ProcessIF, ProcessIF, ProcessIF)19100%6100%040101
emptyStack(ProcessIF)11100%2100%020101
valueOfProcessCell(ProcessCellIF)10100%n/a010101
valueOfHeap(HeapCellIF)10100%n/a010101
heapSize(ProcessIF)8100%n/a010101
terminated(ProcessIF)8100%2100%020101
stackSize(ProcessIF)7100%n/a010101
valueOfShared(SharedCellIF)6100%n/a010101
setState(ModelStateIF)5100%n/a010201
stackFactory()5100%n/a010101
scopeStateVectorFactory()5100%n/a010101
location(ProcessIF)5100%n/a010101
numMessages()5100%n/a010101
valueArrayFactory()100%n/a010101
valueVectorFactory()100%n/a010101
processStateArrayFactory()100%n/a010101
bufferFactory()100%n/a010101
state()100%n/a010101