CollectiveAssertion

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total47 of 19876%5 of 1464%622849315
locationsInProcess(ProcessIF)270%40%336611
toString()170%n/a111111
processArray()30%n/a111111
CollectiveAssertion(Collection, Collection, String, boolean, boolean)48100%2100%0201501
addProcesses(Collection)46100%4100%0301001
indexOf(ProcessIF)24100%1375%130601
process(int)7100%n/a010101
setSource(Source)4100%n/a010201
numProcs()4100%n/a010101
identifier()3100%n/a010101
getSource()3100%n/a010101
processSet()3100%n/a010101
locations()3100%n/a010101
isLoopInvariant()3100%n/a010101
isJointAssertion()3100%n/a010101