| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
10.403s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
10.784s |
passed |
| testDoManualGcdProof() |
16.990s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
4.477s |
passed |
| testLoadGcdProof() |
4.210s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.846s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.462s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.065s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.840s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
2.900s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
2.806s |
passed |