dev.civl.mc.predicate.common

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total574 of 1,28555%73 of 16656%64120151334193726
CommonFunctionalEquivalence4020%420%262696965511
CommonAndPredicate820%100%141426269911
CommonPotentialDeadlock4334088%114379%1134131001701
CommonDeadlock3835090%84885%837121021901
CommonCIVLStatePredicate71669%2250%46372401
CommonTrivialPredicate571%n/a13131301