Environment

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total278 of 1,44381%37 of 13873%3811340276544
setAssumption(ValueIF)424149%5758%3771801
canonicalizeHeap(ProcessIF, Sourceable)335864%4867%3762201
setSnapshot(int, int, ProcessStateIF)317270%3770%3652301
removeCollectiveRecord(int)271536%3125%235901
printStateLong(PrintWriter, String)1814189%2467%2411401
probe(ProcessIF, ProcessIF, ValueIF)150%n/a112211
numMessages(ProcessIF, ProcessIF)140%n/a112211
setValue(ModelCellIF, ValueIF)1314992%72578%71713201
terminated(ProcessIF)130%n/a112211
dequeue(ProcessIF, ProcessIF, ValueIF)103075%1150%121701
setLocation(ProcessIF, LocationIF)102974%1150%121701
push(ProcessIF, LocationIF)102773%1150%121701
pop(ProcessIF)102672%1150%121701
collectiveEnqueue(CollectiveRecordIF)82978%1375%131901
setCollectiveQueue(MorphicVector)81056%1150%121401
loopIndexStack(ProcessIF)58094%41478%41012201
permanentPathCondition()40%n/a111111
currentProcess()30%n/a111111
addAssumption(ValueIF)210598%21286%2802001
static {...}2675%1150%120101
Environment(ModelSequence, StateFactoryIF, LogIF)70100%2100%0201501
enqueue(MessageIF)37100%2100%020701
setCurrentProcess(ProcessIF)31100%4100%030701
setState(StateIF)24100%4100%030501
getModelStates()22100%2100%020401
hasMessage(ProcessIF, ProcessIF, ValueIF)15100%n/a010201
processState(ProcessIF)14100%n/a010201
emptyStack(ProcessIF)13100%n/a010201
location(ProcessIF)13100%n/a010201
stackSize(ProcessIF)13100%n/a010201
valueOf(ModelCellIF)13100%n/a010201
heapSize(ProcessIF)13100%n/a010201
numMessages(ModelIF)11100%n/a010201
terminated(ModelIF)10100%n/a010101
newState(ValueIF, MorphicVector)8100%n/a010101
getCollectiveRecord(int)7100%n/a010101
modelState(int)6100%n/a010101
collectiveQueueSize()5100%n/a010101
getAssumption()4100%n/a010101
locations()4100%n/a010101
collectiveQueue()4100%n/a010101
setLoopQueueIndex(int)4100%n/a010201
state()3100%n/a010101
loopQueueIndex()3100%n/a010101