TestApplyTaclet

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

tests
0

failures
0

ignored
3.810s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.220s passed
testAddExistingFormulaSucc() 0.063s passed
testAddExistingFormulaTwoInAntec() 0.062s passed
testAddExistingFormulaTwoInAntec2() 0.057s passed
testAddExistingFormulaTwoInSucc() 0.056s passed
testAddExistingFormulaTwoInSucc2() 0.057s passed
testAddingRule() 0.140s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.066s passed
testBugEmptyBlock() 0.087s passed
testBugID176() 0.055s passed
testBugID177() 0.055s passed
testBugID188() 0.059s passed
testCatchList() 1.000s passed
testCompleteContextAddBug() 0.063s passed
testContextAdding() 0.059s passed
testIncompleteNoFindTacletApp() 0.738s passed
testIncompleteSuccTacletApp() 0.056s passed
testModalityLevel0() 0.180s passed
testModalityLevel1() 0.077s passed
testModalityLevel2() 0.109s passed
testNoFindTacletWithoutIf() 0.059s passed
testPrgTacletApp() 0.065s passed
testRemoveEmptyBlock() 0.057s passed
testRewriteTacletWithoutIf() 0.054s passed
testSuccTacletAllRight() 0.057s passed
testSuccTacletWithoutIf() 0.058s passed
testTacletVariableCollector() 0.084s passed
testTacletWithIf() 0.057s passed

Standard output

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