MergeRuleTests

11

tests

0

failures

0

ignored

1m10.26s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 11.393s passed
testDoAutomaticGcdProofWithMergePointStatements() 11.822s passed
testDoManualGcdProof() 19.050s passed
testLoadClosedGcdProofWithMergePointStatements() 3.989s passed
testLoadGcdProof() 3.930s passed
testLoadGcdProofWithPredAbstr() 3.951s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.706s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.244s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.917s passed
testMergeIndistinguishablePathConditionsWithITE() 3.181s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 3.080s passed