TestApplyTaclet

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

tests
0

failures
0

ignored
3.690s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.083s passed
testAddExistingFormulaSucc() 0.085s passed
testAddExistingFormulaTwoInAntec() 0.080s passed
testAddExistingFormulaTwoInAntec2() 0.081s passed
testAddExistingFormulaTwoInSucc() 0.085s passed
testAddExistingFormulaTwoInSucc2() 0.076s passed
testAddingRule() 0.087s passed
testAntecTacletWithoutIf() 0.082s passed
testBugBrokenApply() 0.087s passed
testBugEmptyBlock() 0.116s passed
testBugID176() 0.081s passed
testBugID177() 0.080s passed
testBugID188() 0.076s passed
testCatchList() 1.366s passed
testCompleteContextAddBug() 0.087s passed
testContextAdding() 0.081s passed
testIncompleteNoFindTacletApp() 0.077s passed
testIncompleteSuccTacletApp() 0.087s passed
testModalityLevel0() 0.086s passed
testModalityLevel1() 0.080s passed
testModalityLevel2() 0.081s passed
testNoFindTacletWithoutIf() 0.070s passed
testPrgTacletApp() 0.089s passed
testRemoveEmptyBlock() 0.083s passed
testRewriteTacletWithoutIf() 0.074s passed
testSuccTacletAllRight() 0.079s passed
testSuccTacletWithoutIf() 0.085s passed
testTacletVariableCollector() 0.089s passed
testTacletWithIf() 0.077s passed

Standard output

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