edu.udel.cis.vsl.civl.predicate.common

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total576 of 1,23653%73 of 15252%64111150306193526
CommonFunctionalEquivalence.java4140%420%262697975511
CommonAndPredicate.java820%100%141426269911
CommonPotentialDeadlock.java4235789%124077%123313951701
CommonDeadlock.java2928291%73784%72910781701
CommonCIVLStatePredicate.java71670%2250%46372401
CommonTrivialPredicate.java571%n/a13131301