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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total570 of 1,25955%72 of 15253%62108139294173225
CommonFunctionalEquivalence4170%420%262690905511
CommonAndPredicate820%100%141425259911
CommonPotentialDeadlock4237790%124077%123313941701
CommonDeadlock2229693%63886%6298780701
CommonCIVLStatePredicate71670%2250%46372401