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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total576 of 1,24054%76 of 15250%67111151305193526
CommonFunctionalEquivalence.java4100%420%262696965511
CommonAndPredicate.java820%100%141426269911
CommonPotentialDeadlock.java4435989%133975%133314951701
CommonDeadlock.java3128490%93580%92911781701
CommonCIVLStatePredicate.java71670%2250%46372401
CommonTrivialPredicate.java571%n/a13131301