TestApplyTaclet

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

tests
0

failures
0

ignored
4.242s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.295s passed
testAddExistingFormulaSucc() 0.065s passed
testAddExistingFormulaTwoInAntec() 0.073s passed
testAddExistingFormulaTwoInAntec2() 0.064s passed
testAddExistingFormulaTwoInSucc() 0.077s passed
testAddExistingFormulaTwoInSucc2() 0.065s passed
testAddingRule() 0.171s passed
testAntecTacletWithoutIf() 0.072s passed
testBugBrokenApply() 0.064s passed
testBugEmptyBlock() 0.074s passed
testBugID176() 0.064s passed
testBugID177() 0.069s passed
testBugID188() 0.060s passed
testCatchList() 1.111s passed
testCompleteContextAddBug() 0.074s passed
testContextAdding() 0.128s passed
testIncompleteNoFindTacletApp() 0.057s passed
testIncompleteSuccTacletApp() 0.205s passed
testModalityLevel0() 0.309s passed
testModalityLevel1() 0.082s passed
testModalityLevel2() 0.080s passed
testNoFindTacletWithoutIf() 0.181s passed
testPrgTacletApp() 0.083s passed
testRemoveEmptyBlock() 0.393s passed
testRewriteTacletWithoutIf() 0.062s passed
testSuccTacletAllRight() 0.058s passed
testSuccTacletWithoutIf() 0.062s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.084s passed

Standard output

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