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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total576 of 1,24154%74 of 15251%65111151305193526
CommonFunctionalEquivalence4100%420%262696965511
CommonAndPredicate820%100%141426269911
CommonPotentialDeadlock4436089%133975%133314951701
CommonDeadlock3128490%73784%72911781701
CommonCIVLStatePredicate71670%2250%46372401
CommonTrivialPredicate571%n/a13131301