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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total561 of 1,16851%70 of 15253%61111148305193526
CommonFunctionalEquivalence.java4040%420%262696965511
CommonAndPredicate.java820%100%141426269911
CommonPotentialDeadlock.java3732889%104280%103312951701
CommonDeadlock.java2925889%63886%62910781701
CommonCIVLStatePredicate.java71669%2250%46372401
CommonTrivialPredicate.java571%n/a13131301