Package de.uka.ilkd.key.proof
|
0%
successful |
Failed tests
- TestGoal. testSetBack0()
- TestGoal. testSetBack1()
- TestOneStepSimplifier. loadWithRestriction()
- TestProofTree. testLeaves()
- TestTacletIndex. testMatchConflictOccurs()
- TestTacletIndex. testNoMatchingFindRule()
- TestTacletIndex. testNotFreeInYConflict()
- TestTacletIndex. testShownIfHeuristicFits()
- TestTermTacletAppIndex. testIndex0()
- TestTermTacletAppIndex. testIndex0WithCache()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| TestGoal | 2 | 2 | 0 | 0.003s | 0% |
| TestOneStepSimplifier | 1 | 1 | 0 | 0.001s | 0% |
| TestProofTree | 1 | 1 | 0 | 0s | 0% |
| TestTacletIndex | 5 | 4 | 1 | 0.008s | 0% |
| TestTermTacletAppIndex | 2 | 2 | 0 | 0.075s | 0% |