MergeRuleTests

11

tests

0

failures

0

ignored

57.459s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 9.263s passed
testDoAutomaticGcdProofWithMergePointStatements() 9.121s passed
testDoManualGcdProof() 15.608s passed
testLoadClosedGcdProofWithMergePointStatements() 3.400s passed
testLoadGcdProof() 3.225s passed
testLoadGcdProofWithPredAbstr() 3.414s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.110s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 2.729s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.453s passed
testMergeIndistinguishablePathConditionsWithITE() 2.578s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.558s passed