Package de.uka.ilkd.key.rule
|
0%
successful |
Failed tests
- TestApplyTaclet. testAddExistingFormulaAntec()
- TestApplyTaclet. testAddExistingFormulaSucc()
- TestApplyTaclet. testAddExistingFormulaTwoInAntec()
- TestApplyTaclet. testAddExistingFormulaTwoInAntec2()
- TestApplyTaclet. testAddExistingFormulaTwoInSucc()
- TestApplyTaclet. testAddExistingFormulaTwoInSucc2()
- TestApplyTaclet. testAddingRule()
- TestApplyTaclet. testAntecTacletWithoutIf()
- TestApplyTaclet. testBugBrokenApply()
- TestApplyTaclet. testBugEmptyBlock()
- TestApplyTaclet. testBugID176()
- TestApplyTaclet. testBugID177()
- TestApplyTaclet. testBugID188()
- TestApplyTaclet. testCatchList()
- TestApplyTaclet. testCompleteContextAddBug()
- TestApplyTaclet. testContextAdding()
- TestApplyTaclet. testIncompleteNoFindTacletApp()
- TestApplyTaclet. testIncompleteSuccTacletApp()
- TestApplyTaclet. testModalityLevel0()
- TestApplyTaclet. testModalityLevel1()
- TestApplyTaclet. testModalityLevel2()
- TestApplyTaclet. testNoFindTacletWithoutIf()
- TestApplyTaclet. testPrgTacletApp()
- TestApplyTaclet. testRemoveEmptyBlock()
- TestApplyTaclet. testRewriteTacletWithoutIf()
- TestApplyTaclet. testSuccTacletAllRight()
- TestApplyTaclet. testSuccTacletWithoutIf()
- TestApplyTaclet. testTacletVariableCollector()
- TestApplyTaclet. testTacletWithIf()
- TestCollisionResolving. testCollisionResolvingOfSchemaVariable()
- TestCollisionResolving. testCollisionResolvingWithContext()
- TestCollisionResolving. testNameConflict1()
- TestCollisionResolving. testNameConflictAfterInput()
- TestCollisionResolving. testNameConflictWithContextAfterInput()
- TestCollisionResolving. testVarNamespaceCreationWithContext()
- TestCollisionResolving. testVarNamespaceCreationWithPrefix()
- 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 | 29 | 0 | 0.040s | 0% |
| TestCollisionResolving | 7 | 7 | 0 | 0.004s | 0% |
| TestMatchTaclet | 16 | 16 | 0 | 0.030s | 0% |
| TestSchemaModalOperators | 4 | 4 | 0 | 0.037s | 0% |