Package de.uka.ilkd.key.rule
|
55%
successful |
Failed tests
- TestApplyTaclet. testCatchList()
- TestApplyTaclet. testCompleteContextAddBug()
- TestApplyTaclet. testContextAdding()
- TestApplyTaclet. testPrgTacletApp()
- TestApplyTaclet. testRemoveEmptyBlock()
- TestMatchTaclet. testBugsThathaveBeenRemoved()
- TestMatchTaclet. testCloseWithBoundRenaming()
- TestMatchTaclet. testConflict()
- TestMatchTaclet. testInsequentStateRestriction()
- TestMatchTaclet. testNoContextMatching()
- TestMatchTaclet. testPrefixMatching()
- TestMatchTaclet. testProgramMatch4()
- TestMatchTaclet. testProgramMatchEmptyBlock()
- TestMatchTaclet. testRWVarOccursFindAndIf()
- TestMatchTaclet. testRWVarOccursInAddAndIf()
- TestMatchTaclet. testUpdateMatch()
- TestMatchTaclet. testVarOccursInFindAndAddRule()
- TestMatchTaclet. testVarOccursInIfAndAddRule()
- TestMatchTaclet. testWithSubSortsTermSV()
- TestMatchTaclet. testWithSubSortsVariableSV()
- TestMatchTaclet. testXNotFreeInYConflict()
- TestSchemaModalOperators. testSchemaModalities1()
- TestSchemaModalOperators. testSchemaModalities2()
- TestSchemaModalOperators. testSchemaModalities3()
- TestSchemaModalOperators. testSchemaModalities4()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| TestApplyTaclet | 29 | 5 | 0 | 5.161s | 82% |
| TestCollisionResolving | 7 | 0 | 0 | 0.050s | 100% |
| TestMatchTaclet | 16 | 16 | 0 | 7.805s | 0% |
| TestSchemaModalOperators | 4 | 4 | 0 | 0.008s | 0% |