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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total580 of 1,23653%74 of 15251%65111152306193526
CommonFunctionalEquivalence.java4140%420%262697975511
CommonAndPredicate.java820%100%141426269911
CommonPotentialDeadlock.java4435589%133975%133314951701
CommonDeadlock.java3128090%73784%72911781701
CommonCIVLStatePredicate.java71670%2250%46372401
CommonTrivialPredicate.java571%n/a13131301