MergeRuleTests

11

tests

0

failures

0

ignored

1m6.11s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 10.325s passed
testDoAutomaticGcdProofWithMergePointStatements() 10.978s passed
testDoManualGcdProof() 17.128s passed
testLoadClosedGcdProofWithMergePointStatements() 4.472s passed
testLoadGcdProof() 4.227s passed
testLoadGcdProofWithPredAbstr() 3.880s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.440s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.055s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.724s passed
testMergeIndistinguishablePathConditionsWithITE() 3.083s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.800s passed