| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
10.080s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
9.971s |
passed |
| testDoManualGcdProof() |
17.809s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.422s |
passed |
| testLoadGcdProof() |
3.340s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.371s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.234s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
2.773s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.538s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.633s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.620s |
passed |