Package de.uka.ilkd.key.rule.merge
|
7%
successful |
Failed tests
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatementAndBlockContract()
- MergeRuleTests. testDoAutomaticGcdProofWithMergePointStatements()
- MergeRuleTests. testDoManualGcdProof()
- MergeRuleTests. testLoadClosedGcdProofWithMergePointStatements()
- MergeRuleTests. testLoadGcdProof()
- MergeRuleTests. testLoadGcdProofWithPredAbstr()
- MergeRuleTests. testLoadGcdProofWithPredAbstrAndUserChoices()
- MergeRuleTests. testLoadProofWithDiffVarsWithSameNameAndMPS()
- MergeRuleTests. testMergeIndistinguishablePathConditionsWithFullAnonymization()
- MergeRuleTests. testMergeIndistinguishablePathConditionsWithITE()
- MergeRuleTests. testMergeThreeIndistinguishablePathConditionsWithITE()
- PredicateAbstractionLatticeTests. testCreateSignLatticeWithPredicates()
- PredicateAbstractionLatticeTests. testToAndFromString()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| MergeRuleTests | 11 | 11 | 0 | 6.255s | 0% |
| PredicateAbstractionLatticeTests | 3 | 2 | 0 | 0.656s | 33% |