TestApplyTaclet

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

tests
0

failures
0

ignored
5.043s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.097s passed
testAddExistingFormulaSucc() 0.084s passed
testAddExistingFormulaTwoInAntec() 0.081s passed
testAddExistingFormulaTwoInAntec2() 0.075s passed
testAddExistingFormulaTwoInSucc() 0.085s passed
testAddExistingFormulaTwoInSucc2() 0.075s passed
testAddingRule() 0.090s passed
testAntecTacletWithoutIf() 0.077s passed
testBugBrokenApply() 0.082s passed
testBugEmptyBlock() 0.094s passed
testBugID176() 0.081s passed
testBugID177() 0.078s passed
testBugID188() 0.082s passed
testCatchList() 1.305s passed
testCompleteContextAddBug() 0.083s passed
testContextAdding() 0.082s passed
testIncompleteNoFindTacletApp() 0.076s passed
testIncompleteSuccTacletApp() 0.078s passed
testModalityLevel0() 0.084s passed
testModalityLevel1() 0.082s passed
testModalityLevel2() 0.108s passed
testNoFindTacletWithoutIf() 0.075s passed
testPrgTacletApp() 1.482s passed
testRemoveEmptyBlock() 0.078s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.077s passed
testSuccTacletWithoutIf() 0.123s passed
testTacletVariableCollector() 0.080s passed
testTacletWithIf() 0.073s passed

Standard output

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