TestApplyTaclet

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

tests
0

failures
0

ignored
4.579s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.065s passed
testAddExistingFormulaSucc() 0.071s passed
testAddExistingFormulaTwoInAntec() 0.082s passed
testAddExistingFormulaTwoInAntec2() 0.078s passed
testAddExistingFormulaTwoInSucc() 0.066s passed
testAddExistingFormulaTwoInSucc2() 0.081s passed
testAddingRule() 0.172s passed
testAntecTacletWithoutIf() 0.084s passed
testBugBrokenApply() 0.086s passed
testBugEmptyBlock() 0.069s passed
testBugID176() 0.077s passed
testBugID177() 0.074s passed
testBugID188() 0.193s passed
testCatchList() 1.261s passed
testCompleteContextAddBug() 0.124s passed
testContextAdding() 0.067s passed
testIncompleteNoFindTacletApp() 0.066s passed
testIncompleteSuccTacletApp() 0.076s passed
testModalityLevel0() 0.073s passed
testModalityLevel1() 0.068s passed
testModalityLevel2() 0.070s passed
testNoFindTacletWithoutIf() 0.162s passed
testPrgTacletApp() 0.067s passed
testRemoveEmptyBlock() 0.181s passed
testRewriteTacletWithoutIf() 0.084s passed
testSuccTacletAllRight() 0.686s passed
testSuccTacletWithoutIf() 0.079s passed
testTacletVariableCollector() 0.238s passed
testTacletWithIf() 0.079s passed

Standard output

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