TestApplyTaclet

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

tests
0

failures
0

ignored
5.744s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.341s passed
testAddExistingFormulaSucc() 0.082s passed
testAddExistingFormulaTwoInAntec() 0.085s passed
testAddExistingFormulaTwoInAntec2() 0.077s passed
testAddExistingFormulaTwoInSucc() 0.080s passed
testAddExistingFormulaTwoInSucc2() 0.079s passed
testAddingRule() 0.083s passed
testAntecTacletWithoutIf() 0.081s passed
testBugBrokenApply() 0.079s passed
testBugEmptyBlock() 1.320s passed
testBugID176() 0.078s passed
testBugID177() 0.085s passed
testBugID188() 0.085s passed
testCatchList() 1.922s passed
testCompleteContextAddBug() 0.085s passed
testContextAdding() 0.086s passed
testIncompleteNoFindTacletApp() 0.085s passed
testIncompleteSuccTacletApp() 0.083s passed
testModalityLevel0() 0.088s passed
testModalityLevel1() 0.085s passed
testModalityLevel2() 0.093s passed
testNoFindTacletWithoutIf() 0.083s passed
testPrgTacletApp() 0.112s passed
testRemoveEmptyBlock() 0.080s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.070s passed
testSuccTacletWithoutIf() 0.083s passed
testTacletVariableCollector() 0.083s passed
testTacletWithIf() 0.075s passed

Standard output

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