edu.udel.cis.vsl.sarl.expr.cnf

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total92 of 1,46493%29 of 19785%301601428735706
CnfFactory.java531,21295%1815189%17122923713303
BooleanPrimitive.java205472%4450%61442121001
CompoundBooleanExpression.java137585%41071%41712301001
CnfSymbolicConstant.java3183%3350%37060401