Test |
Duration |
Result |
testDoAutomaticGcdProofWithMergePointStatementAndBlockContract() |
11.393s |
passed |
testDoAutomaticGcdProofWithMergePointStatements() |
11.822s |
passed |
testDoManualGcdProof() |
19.050s |
passed |
testLoadClosedGcdProofWithMergePointStatements() |
3.989s |
passed |
testLoadGcdProof() |
3.930s |
passed |
testLoadGcdProofWithPredAbstr() |
3.951s |
passed |
testLoadGcdProofWithPredAbstrAndUserChoices() |
3.706s |
passed |
testLoadProofWithDiffVarsWithSameNameAndMPS() |
3.244s |
passed |
testMergeIndistinguishablePathConditionsWithFullAnonymization() |
2.917s |
passed |
testMergeIndistinguishablePathConditionsWithITE() |
3.181s |
passed |
testMergeThreeIndistinguishablePathConditionsWithITE() |
3.080s |
passed |