MergeRuleTests

11

tests

0

failures

0

ignored

1m4.23s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 10.472s passed
testDoAutomaticGcdProofWithMergePointStatements() 10.413s passed
testDoManualGcdProof() 18.781s passed
testLoadClosedGcdProofWithMergePointStatements() 3.545s passed
testLoadGcdProof() 3.560s passed
testLoadGcdProofWithPredAbstr() 3.646s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.145s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 2.802s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.675s passed
testMergeIndistinguishablePathConditionsWithITE() 2.668s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.526s passed