dev.civl.mc.predicate.common

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total574 of 1,28555%73 of 16656%64120151334193726
CommonFunctionalEquivalence.java4020%420%262696965511
CommonAndPredicate.java820%100%141426269911
CommonPotentialDeadlock.java4334088%114379%1134131001701
CommonDeadlock.java3835090%84885%837121021901
CommonCIVLStatePredicate.java71669%2250%46372401
CommonTrivialPredicate.java571%n/a13131301