Package de.uka.ilkd.key.rule
|
83%
successful |
Failed tests
- TestApplyTaclet. testCatchList()
- TestApplyTaclet. testCompleteContextAddBug()
- TestApplyTaclet. testContextAdding()
- TestApplyTaclet. testPrgTacletApp()
- TestApplyTaclet. testRemoveEmptyBlock()
- TestMatchTaclet. testBugsThathaveBeenRemoved()
- TestMatchTaclet. testPrefixMatching()
- TestMatchTaclet. testProgramMatch4()
- TestSchemaModalOperators. testSchemaModalities3()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| TestApplyTaclet | 29 | 5 | 0 | 4.318s | 82% |
| TestCollisionResolving | 7 | 0 | 0 | 0.046s | 100% |
| TestMatchTaclet | 16 | 3 | 0 | 0.336s | 81% |
| TestSchemaModalOperators | 4 | 1 | 0 | 0.599s | 75% |