edu.udel.cis.vsl.civl.library.civlc

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total683 of 3,27579%136 of 36363%11925511359984505
LibcivlcExecutor2981,22380%7110459%641344125962401
LibcivlcEvaluator18528060%222654%172932850401
LibcivlcEnabler15180684%296770%26632517211001
HeuristicProveHelper4927185%143068%122815781601
ConstantBound100%n/a01050101