MergeRuleTests

11

tests

0

failures

0

ignored

1m21.81s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 13.329s passed
testDoAutomaticGcdProofWithMergePointStatements() 12.940s passed
testDoManualGcdProof() 22.873s passed
testLoadClosedGcdProofWithMergePointStatements() 5.022s passed
testLoadGcdProof() 4.577s passed
testLoadGcdProofWithPredAbstr() 4.571s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 4.396s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.846s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 3.438s passed
testMergeIndistinguishablePathConditionsWithITE() 3.252s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 3.565s passed