MergeRuleTests

11

tests

0

failures

0

ignored

1m12.75s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 11.662s passed
testDoAutomaticGcdProofWithMergePointStatements() 11.280s passed
testDoManualGcdProof() 20.401s passed
testLoadClosedGcdProofWithMergePointStatements() 4.279s passed
testLoadGcdProof() 4.129s passed
testLoadGcdProofWithPredAbstr() 4.333s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 4.393s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 4.174s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.663s passed
testMergeIndistinguishablePathConditionsWithITE() 2.830s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.604s passed