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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total562 of 1,25155%72 of 15253%62108137292173225
CommonFunctionalEquivalence4090%420%262688885511
CommonAndPredicate820%100%141425259911
CommonPotentialDeadlock4237790%124077%123313941701
CommonDeadlock2229693%63886%6298780701
CommonCIVLStatePredicate71670%2250%46372401