TestApplyTaclet

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

tests
0

failures
0

ignored
4.550s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.083s passed
testAddExistingFormulaSucc() 0.061s passed
testAddExistingFormulaTwoInAntec() 0.075s passed
testAddExistingFormulaTwoInAntec2() 0.076s passed
testAddExistingFormulaTwoInSucc() 0.145s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.075s passed
testAntecTacletWithoutIf() 0.073s passed
testBugBrokenApply() 0.071s passed
testBugEmptyBlock() 0.087s passed
testBugID176() 0.072s passed
testBugID177() 0.498s passed
testBugID188() 0.061s passed
testCatchList() 1.768s passed
testCompleteContextAddBug() 0.077s passed
testContextAdding() 0.094s passed
testIncompleteNoFindTacletApp() 0.059s passed
testIncompleteSuccTacletApp() 0.060s passed
testModalityLevel0() 0.065s passed
testModalityLevel1() 0.155s passed
testModalityLevel2() 0.078s passed
testNoFindTacletWithoutIf() 0.060s passed
testPrgTacletApp() 0.216s passed
testRemoveEmptyBlock() 0.071s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.133s passed
testSuccTacletWithoutIf() 0.080s passed
testTacletVariableCollector() 0.063s passed
testTacletWithIf() 0.069s passed

Standard output

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