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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total574 of 1,26655%73 of 15252%64111141297183526
CommonFunctionalEquivalence4170%420%262690905511
CommonAndPredicate820%100%141425259911
CommonPotentialDeadlock4437589%133975%133314941701
CommonDeadlock2229693%63886%6298780701
CommonCIVLStatePredicate71670%2250%46372401
CommonTrivialPredicate571%n/a13131301