edu.udel.cis.vsl.civl.kripke

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total3,799 of 4,84022%613 of 71614%4114778071,0636211038
ScopedEnabler1,2960%2060%119119290290161611
AmpleSetWorker1,24514811%225135%12713528432091201
StateManager85946335%1456130%127157182313254901
Enabler22231459%272548%27514312072501
AmpleSetWorker.new Object() {...}750%n/a11111111
PointeredEnabler565951%10429%698180201
AmpleSetWorker.MemoryUnitsStatus380%n/a44224411
StateManager.new Object() {...}5788%n/a01020101