MergeRuleTests

11

tests

0

failures

0

ignored

1m9.57s

duration

100%

successful

Tests

Test Duration Result
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() 11.220s passed
testDoAutomaticGcdProofWithMergePointStatements() 11.404s passed
testDoManualGcdProof() 19.488s passed
testLoadClosedGcdProofWithMergePointStatements() 3.855s passed
testLoadGcdProof() 3.782s passed
testLoadGcdProofWithPredAbstr() 3.805s passed
testLoadGcdProofWithPredAbstrAndUserChoices() 3.765s passed
testLoadProofWithDiffVarsWithSameNameAndMPS() 3.451s passed
testMergeIndistinguishablePathConditionsWithFullAnonymization() 3.042s passed
testMergeIndistinguishablePathConditionsWithITE() 2.852s passed
testMergeThreeIndistinguishablePathConditionsWithITE() 2.902s passed