edu.udel.cis.vsl.civl.kripke

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total1,119 of 3,12664%176 of 45161%156312210702268003
Enabler5891,12466%9614861%7215411839093201
StateManager52282661%8012761%8415792312174701
StateManager.new Object() {...}5788%n/a01020101