| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
10.675s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
10.341s |
passed |
| testDoManualGcdProof() |
17.557s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.877s |
passed |
| testLoadGcdProof() |
3.818s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.882s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.687s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.210s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
3.070s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.886s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.928s |
passed |