TestApplyTaclet

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

tests
0

failures
0

ignored
3.669s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.096s passed
testAddExistingFormulaSucc() 0.085s passed
testAddExistingFormulaTwoInAntec() 0.095s passed
testAddExistingFormulaTwoInAntec2() 0.080s passed
testAddExistingFormulaTwoInSucc() 0.079s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 0.090s passed
testAntecTacletWithoutIf() 0.088s passed
testBugBrokenApply() 0.089s passed
testBugEmptyBlock() 0.083s passed
testBugID176() 0.086s passed
testBugID177() 0.079s passed
testBugID188() 0.080s passed
testCatchList() 1.305s passed
testCompleteContextAddBug() 0.080s passed
testContextAdding() 0.085s passed
testIncompleteNoFindTacletApp() 0.100s passed
testIncompleteSuccTacletApp() 0.080s passed
testModalityLevel0() 0.086s passed
testModalityLevel1() 0.085s passed
testModalityLevel2() 0.086s passed
testNoFindTacletWithoutIf() 0.078s passed
testPrgTacletApp() 0.085s passed
testRemoveEmptyBlock() 0.084s passed
testRewriteTacletWithoutIf() 0.087s passed
testSuccTacletAllRight() 0.077s passed
testSuccTacletWithoutIf() 0.079s passed
testTacletVariableCollector() 0.083s passed
testTacletWithIf() 0.081s passed

Standard output

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