MergeRuleTests

11

tests

0

failures

0

ignored

1m2.20s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 9.862s passed
testDoAutomaticGcdProofWithMergePointStatements() 9.586s passed
testDoManualGcdProof() 16.434s passed
testLoadClosedGcdProofWithMergePointStatements() 3.823s passed
testLoadGcdProof() 3.668s passed
testLoadGcdProofWithPredAbstr() 3.838s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.430s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.207s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 2.812s passed
testMergeIndistinguishablePathConditionsWithITE() 2.765s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.779s passed