| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
14.020s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
13.029s |
passed |
| testDoManualGcdProof() |
23.417s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
5.096s |
passed |
| testLoadGcdProof() |
4.475s |
passed |
| testLoadGcdProofWithPredAbstr() |
5.599s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
4.649s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
4.389s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
3.192s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
3.227s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
3.169s |
passed |