MergeRuleTests

11

tests

0

failures

0

ignored

1m22.68s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 13.075s passed
testDoAutomaticGcdProofWithMergePointStatements() 13.194s passed
testDoManualGcdProof() 22.893s passed
testLoadClosedGcdProofWithMergePointStatements() 4.937s passed
testLoadGcdProof() 4.759s passed
testLoadGcdProofWithPredAbstr() 5.000s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 4.488s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.850s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 3.430s passed
testMergeIndistinguishablePathConditionsWithITE() 3.436s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 3.618s passed