dev.civl.mc.predicate.common

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total579 of 1,29055%75 of 16654%66120152334193726
CommonFunctionalEquivalence.java4020%420%262696965511
CommonAndPredicate.java820%100%141426269911
CommonPotentialDeadlock.java4833887%134175%1334141001701
CommonDeadlock.java3835290%84885%837121021901
CommonCIVLStatePredicate.java71669%2250%46372401
CommonTrivialPredicate.java571%n/a13131301