TestApplyTaclet

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

tests
0

failures
0

ignored
3.281s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.058s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.065s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.055s passed
testAddExistingFormulaTwoInSucc2() 0.056s passed
testAddingRule() 0.061s passed
testAntecTacletWithoutIf() 0.166s passed
testBugBrokenApply() 0.060s passed
testBugEmptyBlock() 0.059s passed
testBugID176() 0.054s passed
testBugID177() 0.054s passed
testBugID188() 0.056s passed
testCatchList() 1.387s passed
testCompleteContextAddBug() 0.071s passed
testContextAdding() 0.068s passed
testIncompleteNoFindTacletApp() 0.072s passed
testIncompleteSuccTacletApp() 0.057s passed
testModalityLevel0() 0.062s passed
testModalityLevel1() 0.062s passed
testModalityLevel2() 0.060s passed
testNoFindTacletWithoutIf() 0.169s passed
testPrgTacletApp() 0.067s passed
testRemoveEmptyBlock() 0.060s passed
testRewriteTacletWithoutIf() 0.055s passed
testSuccTacletAllRight() 0.056s passed
testSuccTacletWithoutIf() 0.056s passed
testTacletVariableCollector() 0.065s passed
testTacletWithIf() 0.058s passed

Standard output

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