TestApplyTaclet

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

tests
0

failures
0

ignored
6.133s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.101s passed
testAddExistingFormulaSucc() 0.109s passed
testAddExistingFormulaTwoInAntec() 0.085s passed
testAddExistingFormulaTwoInAntec2() 0.123s passed
testAddExistingFormulaTwoInSucc() 0.106s passed
testAddExistingFormulaTwoInSucc2() 0.081s passed
testAddingRule() 0.105s passed
testAntecTacletWithoutIf() 0.093s passed
testBugBrokenApply() 0.090s passed
testBugEmptyBlock() 0.345s passed
testBugID176() 0.086s passed
testBugID177() 0.082s passed
testBugID188() 0.083s passed
testCatchList() 1.965s passed
testCompleteContextAddBug() 0.098s passed
testContextAdding() 0.148s passed
testIncompleteNoFindTacletApp() 0.162s passed
testIncompleteSuccTacletApp() 0.351s passed
testModalityLevel0() 0.289s passed
testModalityLevel1() 0.126s passed
testModalityLevel2() 0.171s passed
testNoFindTacletWithoutIf() 0.079s passed
testPrgTacletApp() 0.254s passed
testRemoveEmptyBlock() 0.084s passed
testRewriteTacletWithoutIf() 0.080s passed
testSuccTacletAllRight() 0.090s passed
testSuccTacletWithoutIf() 0.081s passed
testTacletVariableCollector() 0.587s passed
testTacletWithIf() 0.079s passed

Standard output

856641     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
856641     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 
856641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
856641     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
856724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 83ms