MergeRuleTests

11

tests

0

failures

0

ignored

1m2.77s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 10.178s passed
testDoAutomaticGcdProofWithMergePointStatements() 10.193s passed
testDoManualGcdProof() 16.431s passed
testLoadClosedGcdProofWithMergePointStatements() 3.858s passed
testLoadGcdProof() 3.538s passed
testLoadGcdProofWithPredAbstr() 3.636s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.626s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.140s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.694s passed
testMergeIndistinguishablePathConditionsWithITE() 2.740s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.731s passed