TestApplyTaclet

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

tests
0

failures
0

ignored
2.900s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.059s passed
testAddExistingFormulaSucc() 0.063s passed
testAddExistingFormulaTwoInAntec() 0.060s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.059s passed
testAddExistingFormulaTwoInSucc2() 0.053s passed
testAddingRule() 0.059s passed
testAntecTacletWithoutIf() 0.055s passed
testBugBrokenApply() 0.062s passed
testBugEmptyBlock() 0.099s passed
testBugID176() 0.142s passed
testBugID177() 0.053s passed
testBugID188() 0.054s passed
testCatchList() 1.098s passed
testCompleteContextAddBug() 0.092s passed
testContextAdding() 0.060s passed
testIncompleteNoFindTacletApp() 0.057s passed
testIncompleteSuccTacletApp() 0.055s passed
testModalityLevel0() 0.058s passed
testModalityLevel1() 0.057s passed
testModalityLevel2() 0.060s passed
testNoFindTacletWithoutIf() 0.060s passed
testPrgTacletApp() 0.058s passed
testRemoveEmptyBlock() 0.093s passed
testRewriteTacletWithoutIf() 0.057s passed
testSuccTacletAllRight() 0.056s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.055s passed
testTacletWithIf() 0.055s passed

Standard output

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