MergeRuleTests

11

tests

0

failures

0

ignored

1m3.21s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 9.943s passed
testDoAutomaticGcdProofWithMergePointStatements() 9.549s passed
testDoManualGcdProof() 17.377s passed
testLoadClosedGcdProofWithMergePointStatements() 3.905s passed
testLoadGcdProof() 3.578s passed
testLoadGcdProofWithPredAbstr() 3.720s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.802s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 2.969s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.799s passed
testMergeIndistinguishablePathConditionsWithITE() 2.730s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.835s passed