| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
11.991s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
12.053s |
passed |
| testDoManualGcdProof() |
21.601s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
4.600s |
passed |
| testLoadGcdProof() |
4.282s |
passed |
| testLoadGcdProofWithPredAbstr() |
4.356s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
4.335s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.748s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
3.109s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
3.135s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
3.343s |
passed |