TestApplyTaclet

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

tests
0

failures
0

ignored
4.583s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.208s passed
testAddExistingFormulaSucc() 0.141s passed
testAddExistingFormulaTwoInAntec() 0.073s passed
testAddExistingFormulaTwoInAntec2() 0.073s passed
testAddExistingFormulaTwoInSucc() 0.060s passed
testAddExistingFormulaTwoInSucc2() 0.068s passed
testAddingRule() 0.074s passed
testAntecTacletWithoutIf() 0.071s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.082s passed
testBugID176() 0.458s passed
testBugID177() 0.059s passed
testBugID188() 0.060s passed
testCatchList() 1.878s passed
testCompleteContextAddBug() 0.085s passed
testContextAdding() 0.085s passed
testIncompleteNoFindTacletApp() 0.058s passed
testIncompleteSuccTacletApp() 0.059s passed
testModalityLevel0() 0.179s passed
testModalityLevel1() 0.074s passed
testModalityLevel2() 0.081s passed
testNoFindTacletWithoutIf() 0.061s passed
testPrgTacletApp() 0.062s passed
testRemoveEmptyBlock() 0.070s passed
testRewriteTacletWithoutIf() 0.133s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.072s passed
testTacletVariableCollector() 0.064s passed
testTacletWithIf() 0.067s passed

Standard output

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