| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
10.349s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
10.272s |
passed |
| testDoManualGcdProof() |
16.969s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.733s |
passed |
| testLoadGcdProof() |
3.537s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.708s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.380s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
2.962s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.722s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.755s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.641s |
passed |