| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
11.393s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
11.822s |
passed |
| testDoManualGcdProof() |
19.050s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.989s |
passed |
| testLoadGcdProof() |
3.930s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.951s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.706s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.244s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.917s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
3.181s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
3.080s |
passed |