| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
11.645s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
11.191s |
passed |
| testDoManualGcdProof() |
18.826s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
5.117s |
passed |
| testLoadGcdProof() |
4.113s |
passed |
| testLoadGcdProofWithPredAbstr() |
4.425s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.955s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.508s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
3.285s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
3.355s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
3.120s |
passed |