| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
10.255s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
10.206s |
passed |
| testDoManualGcdProof() |
17.898s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.782s |
passed |
| testLoadGcdProof() |
3.568s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.804s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.322s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.013s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.710s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.633s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.737s |
passed |