MergeRuleTests

11

tests

0

failures

0

ignored

1m12.53s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 11.571s passed
testDoAutomaticGcdProofWithMergePointStatements() 11.692s passed
testDoManualGcdProof() 19.623s passed
testLoadClosedGcdProofWithMergePointStatements() 4.318s passed
testLoadGcdProof() 3.905s passed
testLoadGcdProofWithPredAbstr() 4.191s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 4.347s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.489s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 3.149s passed
testMergeIndistinguishablePathConditionsWithITE() 3.159s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 3.089s passed