TestApplyTaclet

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

tests
0

failures
0

ignored
3.732s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.092s passed
testAddExistingFormulaSucc() 0.084s passed
testAddExistingFormulaTwoInAntec() 0.092s passed
testAddExistingFormulaTwoInAntec2() 0.081s passed
testAddExistingFormulaTwoInSucc() 0.096s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 0.092s passed
testAntecTacletWithoutIf() 0.087s passed
testBugBrokenApply() 0.085s passed
testBugEmptyBlock() 0.097s passed
testBugID176() 0.088s passed
testBugID177() 0.083s passed
testBugID188() 0.077s passed
testCatchList() 1.278s passed
testCompleteContextAddBug() 0.086s passed
testContextAdding() 0.090s passed
testIncompleteNoFindTacletApp() 0.092s passed
testIncompleteSuccTacletApp() 0.082s passed
testModalityLevel0() 0.083s passed
testModalityLevel1() 0.114s passed
testModalityLevel2() 0.093s passed
testNoFindTacletWithoutIf() 0.097s passed
testPrgTacletApp() 0.090s passed
testRemoveEmptyBlock() 0.084s passed
testRewriteTacletWithoutIf() 0.081s passed
testSuccTacletAllRight() 0.082s passed
testSuccTacletWithoutIf() 0.083s passed
testTacletVariableCollector() 0.086s passed
testTacletWithIf() 0.079s passed

Standard output

534132     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
534132     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 
534132     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
534148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
534179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 31ms