Package de.uka.ilkd.key.rule.merge
|
0%
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()
- PredicateAbstractionLatticeTests. testTrivialPredicatesLattice()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| MergeRuleTests | 11 | 11 | 0 | 0.010s | 0% |
| PredicateAbstractionLatticeTests | 3 | 3 | 0 | 0.001s | 0% |