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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total580 of 1,23653%74 of 15251%65111152306193526
CommonFunctionalEquivalence4140%420%262697975511
CommonAndPredicate820%100%141426269911
CommonPotentialDeadlock4435589%133975%133314951701
CommonDeadlock3128090%73784%72911781701
CommonCIVLStatePredicate71670%2250%46372401
CommonTrivialPredicate571%n/a13131301