| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
10.566s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
10.404s |
passed |
| testDoManualGcdProof() |
17.349s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
3.965s |
passed |
| testLoadGcdProof() |
3.735s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.860s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.441s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.293s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.828s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.738s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.861s |
passed |