MergeRuleTests

11

tests

0

failures

0

ignored

1m33.29s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 15.297s passed
testDoAutomaticGcdProofWithMergePointStatements() 14.613s passed
testDoManualGcdProof() 27.145s passed
testLoadClosedGcdProofWithMergePointStatements() 6.141s passed
testLoadGcdProof() 5.235s passed
testLoadGcdProofWithPredAbstr() 5.497s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 4.541s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.967s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 3.457s passed
testMergeIndistinguishablePathConditionsWithITE() 3.761s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 3.631s passed