TestApplyTaclet

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

tests
0

failures
0

ignored
4.932s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 1.172s passed
testAddExistingFormulaSucc() 0.080s passed
testAddExistingFormulaTwoInAntec() 0.098s passed
testAddExistingFormulaTwoInAntec2() 0.079s passed
testAddExistingFormulaTwoInSucc() 0.077s passed
testAddExistingFormulaTwoInSucc2() 0.079s passed
testAddingRule() 0.087s passed
testAntecTacletWithoutIf() 0.086s passed
testBugBrokenApply() 0.075s passed
testBugEmptyBlock() 0.082s passed
testBugID176() 0.076s passed
testBugID177() 0.076s passed
testBugID188() 0.077s passed
testCatchList() 1.021s passed
testCompleteContextAddBug() 0.078s passed
testContextAdding() 0.081s passed
testIncompleteNoFindTacletApp() 0.076s passed
testIncompleteSuccTacletApp() 0.096s passed
testModalityLevel0() 0.079s passed
testModalityLevel1() 0.080s passed
testModalityLevel2() 0.079s passed
testNoFindTacletWithoutIf() 0.078s passed
testPrgTacletApp() 0.656s passed
testRemoveEmptyBlock() 0.075s passed
testRewriteTacletWithoutIf() 0.075s passed
testSuccTacletAllRight() 0.077s passed
testSuccTacletWithoutIf() 0.077s passed
testTacletVariableCollector() 0.082s passed
testTacletWithIf() 0.078s passed

Standard output

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