MergeRuleTests

11

tests

0

failures

0

ignored

1m5.20s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 10.357s passed
testDoAutomaticGcdProofWithMergePointStatements() 10.697s passed
testDoManualGcdProof() 17.108s passed
testLoadClosedGcdProofWithMergePointStatements() 3.830s passed
testLoadGcdProof() 4.024s passed
testLoadGcdProofWithPredAbstr() 4.011s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.563s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.149s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.740s passed
testMergeIndistinguishablePathConditionsWithITE() 2.906s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.810s passed