Package de.uka.ilkd.key.rule.merge
|
35%
successful |
Failed tests
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatementAndBlockContract()
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatements()
- MergeRuleTests. testDoManualGcdProof()
- MergeRuleTests. testLoadClosedGcdProofWithMergePointStatements()
- MergeRuleTests. testLoadGcdProof()
- MergeRuleTests. testLoadGcdProofWithPredAbstr()
- MergeRuleTests. testLoadGcdProofWithPredAbstrAndUserChoices()
- MergeRuleTests. testLoadProofWithDiffVarsWithSameNameAndMPS()
- MergeRuleTests. testMergeIndistinguishablePathConditionsWithFullAnonymization()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| MergeRuleTests | 11 | 9 | 0 | 6.469s | 18% |
| PredicateAbstractionLatticeTests | 3 | 0 | 0 | 0.510s | 100% |