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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total572 of 1,24153%72 of 15252%63111149305193526
CommonFunctionalEquivalence4100%420%262696965511
CommonAndPredicate820%100%141426269911
CommonPotentialDeadlock4236289%124076%123313951701
CommonDeadlock2928690%63886%62910781701
CommonCIVLStatePredicate71669%2250%46372401
CommonTrivialPredicate571%n/a13131301