| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
11.973s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
11.513s |
passed |
| testDoManualGcdProof() |
20.561s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
4.100s |
passed |
| testLoadGcdProof() |
3.790s |
passed |
| testLoadGcdProofWithPredAbstr() |
3.904s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
3.841s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.282s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
3.036s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
3.115s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
3.127s |
passed |