ForAllTest

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total0 of 503100%0 of 0n/a0506805
testNoGrouping()261100%n/a0103001
test_consistency_of_compliance_and_defiance()186100%n/a0102601
testPropagation()42100%n/a0101001
lambda$testPropagation$0(Constraint, Database, int)11100%n/a010101
ForAllTest()3100%n/a010101