TestApplyTaclet

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

tests
0

failures
0

ignored
4.969s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.247s passed
testAddExistingFormulaSucc() 0.238s passed
testAddExistingFormulaTwoInAntec() 0.075s passed
testAddExistingFormulaTwoInAntec2() 0.075s passed
testAddExistingFormulaTwoInSucc() 0.068s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 1.055s passed
testAntecTacletWithoutIf() 0.092s passed
testBugBrokenApply() 0.074s passed
testBugEmptyBlock() 0.303s passed
testBugID176() 0.072s passed
testBugID177() 0.068s passed
testBugID188() 0.072s passed
testCatchList() 1.298s passed
testCompleteContextAddBug() 0.078s passed
testContextAdding() 0.080s passed
testIncompleteNoFindTacletApp() 0.104s passed
testIncompleteSuccTacletApp() 0.070s passed
testModalityLevel0() 0.089s passed
testModalityLevel1() 0.073s passed
testModalityLevel2() 0.073s passed
testNoFindTacletWithoutIf() 0.076s passed
testPrgTacletApp() 0.078s passed
testRemoveEmptyBlock() 0.077s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.069s passed
testSuccTacletWithoutIf() 0.072s passed
testTacletVariableCollector() 0.077s passed
testTacletWithIf() 0.072s passed

Standard output

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