MergeRuleTests

11

tests

0

failures

0

ignored

1m18.74s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 12.625s passed
testDoAutomaticGcdProofWithMergePointStatements() 12.007s passed
testDoManualGcdProof() 22.402s passed
testLoadClosedGcdProofWithMergePointStatements() 5.444s passed
testLoadGcdProof() 4.363s passed
testLoadGcdProofWithPredAbstr() 4.612s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 4.116s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.579s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 3.059s passed
testMergeIndistinguishablePathConditionsWithITE() 3.385s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 3.147s passed