TestApplyTaclet

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

tests
0

failures
0

ignored
2.699s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.063s passed
testAddExistingFormulaSucc() 0.061s passed
testAddExistingFormulaTwoInAntec() 0.069s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.059s passed
testAddExistingFormulaTwoInSucc2() 0.059s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.059s passed
testBugBrokenApply() 0.068s passed
testBugEmptyBlock() 0.060s passed
testBugID176() 0.064s passed
testBugID177() 0.059s passed
testBugID188() 0.057s passed
testCatchList() 0.995s passed
testCompleteContextAddBug() 0.061s passed
testContextAdding() 0.062s passed
testIncompleteNoFindTacletApp() 0.059s passed
testIncompleteSuccTacletApp() 0.060s passed
testModalityLevel0() 0.064s passed
testModalityLevel1() 0.064s passed
testModalityLevel2() 0.064s passed
testNoFindTacletWithoutIf() 0.058s passed
testPrgTacletApp() 0.063s passed
testRemoveEmptyBlock() 0.059s passed
testRewriteTacletWithoutIf() 0.060s passed
testSuccTacletAllRight() 0.058s passed
testSuccTacletWithoutIf() 0.057s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.059s passed

Standard output

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