| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
11.831s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
10.740s |
passed |
| testDoManualGcdProof() |
20.779s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.692s |
passed |
| testLoadGcdProof() |
3.553s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.643s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.983s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.108s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.579s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.512s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.574s |
passed |