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 | 1.627s | 0% |
| TestOneStepSimplifier | 1 | 1 | 0 | 1.559s | 0% |
| TestProofTree | 1 | 1 | 0 | 0.776s | 0% |
| TestTacletIndex | 5 | 4 | 1 | 3.008s | 0% |
| TestTermTacletAppIndex | 2 | 2 | 0 | 1.502s | 0% |