TestApplyTaclet

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

tests
0

failures
0

ignored
3.735s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.089s passed
testAddExistingFormulaSucc() 0.093s passed
testAddExistingFormulaTwoInAntec() 0.088s passed
testAddExistingFormulaTwoInAntec2() 0.084s passed
testAddExistingFormulaTwoInSucc() 0.082s passed
testAddExistingFormulaTwoInSucc2() 0.080s passed
testAddingRule() 0.103s passed
testAntecTacletWithoutIf() 0.083s passed
testBugBrokenApply() 0.089s passed
testBugEmptyBlock() 0.091s passed
testBugID176() 0.116s passed
testBugID177() 0.078s passed
testBugID188() 0.076s passed
testCatchList() 1.337s passed
testCompleteContextAddBug() 0.089s passed
testContextAdding() 0.098s passed
testIncompleteNoFindTacletApp() 0.077s passed
testIncompleteSuccTacletApp() 0.081s passed
testModalityLevel0() 0.078s passed
testModalityLevel1() 0.083s passed
testModalityLevel2() 0.082s passed
testNoFindTacletWithoutIf() 0.075s passed
testPrgTacletApp() 0.080s passed
testRemoveEmptyBlock() 0.080s passed
testRewriteTacletWithoutIf() 0.087s passed
testSuccTacletAllRight() 0.088s passed
testSuccTacletWithoutIf() 0.088s passed
testTacletVariableCollector() 0.082s passed
testTacletWithIf() 0.078s passed

Standard output

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