Package de.uka.ilkd.key.rule.merge
|
42%
successful |
Failed tests
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatementAndBlockContract()
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatements()
- MergeRuleTests. testDoManualGcdProof()
- MergeRuleTests. testLoadClosedGcdProofWithMergePointStatements()
- MergeRuleTests. testLoadGcdProof()
- MergeRuleTests. testLoadGcdProofWithPredAbstr()
- MergeRuleTests. testLoadGcdProofWithPredAbstrAndUserChoices()
- MergeRuleTests. testLoadProofWithDiffVarsWithSameNameAndMPS()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| MergeRuleTests | 11 | 8 | 0 | 22.327s | 27% |
| PredicateAbstractionLatticeTests | 3 | 0 | 0 | 7.074s | 100% |