TestApplyTaclet

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

tests
0

failures
0

ignored
5.266s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 1.428s passed
testAddExistingFormulaSucc() 0.072s passed
testAddExistingFormulaTwoInAntec() 0.123s passed
testAddExistingFormulaTwoInAntec2() 0.072s passed
testAddExistingFormulaTwoInSucc() 0.069s passed
testAddExistingFormulaTwoInSucc2() 0.068s passed
testAddingRule() 0.072s passed
testAntecTacletWithoutIf() 0.087s passed
testBugBrokenApply() 0.077s passed
testBugEmptyBlock() 0.070s passed
testBugID176() 0.068s passed
testBugID177() 0.068s passed
testBugID188() 0.069s passed
testCatchList() 1.217s passed
testCompleteContextAddBug() 0.074s passed
testContextAdding() 0.085s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.068s passed
testModalityLevel0() 0.075s passed
testModalityLevel1() 0.099s passed
testModalityLevel2() 0.071s passed
testNoFindTacletWithoutIf() 0.072s passed
testPrgTacletApp() 0.667s passed
testRemoveEmptyBlock() 0.070s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.072s passed
testSuccTacletWithoutIf() 0.072s passed
testTacletVariableCollector() 0.079s passed
testTacletWithIf() 0.067s passed

Standard output

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