| Test |
Duration |
Result |
| testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
15.930s |
passed |
| testDoAutomaticGcdProofWithMergePointStatements() |
14.557s |
passed |
| testDoManualGcdProof() |
23.942s |
passed |
| testLoadClosedGcdProofWithMergePointStatements() |
5.095s |
passed |
| testLoadGcdProof() |
4.689s |
passed |
| testLoadGcdProofWithPredAbstr() |
4.987s |
passed |
| testLoadGcdProofWithPredAbstrAndUserChoices() |
4.332s |
passed |
| testLoadProofWithDiffVarsWithSameNameAndMPS() |
4.034s |
passed |
| testMergeIndistinguishablePathConditionsWithFullAnonymization() |
3.378s |
passed |
| testMergeIndistinguishablePathConditionsWithITE() |
3.409s |
passed |
| testMergeThreeIndistinguishablePathConditionsWithITE() |
3.455s |
passed |