TestApplyTaclet

all > de.uka.ilkd.key.rule > TestApplyTaclet
29

tests
0

failures
0

ignored
2.575s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.054s passed
testAddExistingFormulaSucc() 0.060s passed
testAddExistingFormulaTwoInAntec() 0.059s passed
testAddExistingFormulaTwoInAntec2() 0.054s passed
testAddExistingFormulaTwoInSucc() 0.054s passed
testAddExistingFormulaTwoInSucc2() 0.051s passed
testAddingRule() 0.055s passed
testAntecTacletWithoutIf() 0.054s passed
testBugBrokenApply() 0.061s passed
testBugEmptyBlock() 0.055s passed
testBugID176() 0.054s passed
testBugID177() 0.052s passed
testBugID188() 0.054s passed
testCatchList() 1.032s passed
testCompleteContextAddBug() 0.058s passed
testContextAdding() 0.057s passed
testIncompleteNoFindTacletApp() 0.055s passed
testIncompleteSuccTacletApp() 0.058s passed
testModalityLevel0() 0.056s passed
testModalityLevel1() 0.055s passed
testModalityLevel2() 0.057s passed
testNoFindTacletWithoutIf() 0.053s passed
testPrgTacletApp() 0.056s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.051s passed
testSuccTacletAllRight() 0.053s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.053s passed
testTacletWithIf() 0.055s passed

Standard output

414045     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
414045     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1 
414045     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
414045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
414077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 32ms