Package de.uka.ilkd.key.rule.merge
|
57%
successful |
Failed tests
- MergeRuleTests. testLoadClosedGcdProofWithMergePointStatements()
- MergeRuleTests. testLoadGcdProof()
- MergeRuleTests. testLoadGcdProofWithPredAbstr()
- MergeRuleTests. testLoadGcdProofWithPredAbstrAndUserChoices()
- MergeRuleTests. testLoadProofWithDiffVarsWithSameNameAndMPS()
- MergeRuleTests. testMergeIndistinguishablePathConditionsWithFullAnonymization()
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
MergeRuleTests | 11 | 6 | 0 | 1m13.92s | 45% |
PredicateAbstractionLatticeTests | 3 | 0 | 0 | 5.980s | 100% |