TestApplyTaclet

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

tests
0

failures
0

ignored
5.972s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.496s passed
testAddExistingFormulaSucc() 0.105s passed
testAddExistingFormulaTwoInAntec() 0.129s passed
testAddExistingFormulaTwoInAntec2() 0.120s passed
testAddExistingFormulaTwoInSucc() 0.093s passed
testAddExistingFormulaTwoInSucc2() 0.090s passed
testAddingRule() 0.155s passed
testAntecTacletWithoutIf() 0.105s passed
testBugBrokenApply() 0.095s passed
testBugEmptyBlock() 0.104s passed
testBugID176() 0.091s passed
testBugID177() 0.115s passed
testBugID188() 0.107s passed
testCatchList() 1.388s passed
testCompleteContextAddBug() 0.097s passed
testContextAdding() 0.282s passed
testIncompleteNoFindTacletApp() 0.092s passed
testIncompleteSuccTacletApp() 0.080s passed
testModalityLevel0() 0.098s passed
testModalityLevel1() 1.233s passed
testModalityLevel2() 0.108s passed
testNoFindTacletWithoutIf() 0.137s passed
testPrgTacletApp() 0.079s passed
testRemoveEmptyBlock() 0.096s passed
testRewriteTacletWithoutIf() 0.102s passed
testSuccTacletAllRight() 0.092s passed
testSuccTacletWithoutIf() 0.089s passed
testTacletVariableCollector() 0.099s passed
testTacletWithIf() 0.095s passed

Standard output

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