TestApplyTaclet

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

tests
0

failures
0

ignored
5.118s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 1.416s passed
testAddExistingFormulaSucc() 0.082s passed
testAddExistingFormulaTwoInAntec() 0.092s passed
testAddExistingFormulaTwoInAntec2() 0.087s passed
testAddExistingFormulaTwoInSucc() 0.087s passed
testAddExistingFormulaTwoInSucc2() 0.073s passed
testAddingRule() 0.083s passed
testAntecTacletWithoutIf() 0.079s passed
testBugBrokenApply() 0.104s passed
testBugEmptyBlock() 0.082s passed
testBugID176() 0.082s passed
testBugID177() 0.079s passed
testBugID188() 0.077s passed
testCatchList() 1.351s passed
testCompleteContextAddBug() 0.108s passed
testContextAdding() 0.085s passed
testIncompleteNoFindTacletApp() 0.077s passed
testIncompleteSuccTacletApp() 0.078s passed
testModalityLevel0() 0.093s passed
testModalityLevel1() 0.087s passed
testModalityLevel2() 0.082s passed
testNoFindTacletWithoutIf() 0.077s passed
testPrgTacletApp() 0.088s passed
testRemoveEmptyBlock() 0.088s passed
testRewriteTacletWithoutIf() 0.082s passed
testSuccTacletAllRight() 0.129s passed
testSuccTacletWithoutIf() 0.083s passed
testTacletVariableCollector() 0.109s passed
testTacletWithIf() 0.078s passed

Standard output

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