TestApplyTaclet

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

tests
0

failures
0

ignored
3.226s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.071s passed
testAddExistingFormulaSucc() 0.072s passed
testAddExistingFormulaTwoInAntec() 0.075s passed
testAddExistingFormulaTwoInAntec2() 0.070s passed
testAddExistingFormulaTwoInSucc() 0.079s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.069s passed
testBugBrokenApply() 0.070s passed
testBugEmptyBlock() 0.070s passed
testBugID176() 0.067s passed
testBugID177() 0.087s passed
testBugID188() 0.071s passed
testCatchList() 1.206s passed
testCompleteContextAddBug() 0.072s passed
testContextAdding() 0.070s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.095s passed
testModalityLevel0() 0.068s passed
testModalityLevel1() 0.075s passed
testModalityLevel2() 0.069s passed
testNoFindTacletWithoutIf() 0.069s passed
testPrgTacletApp() 0.070s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.070s passed
testSuccTacletAllRight() 0.067s passed
testSuccTacletWithoutIf() 0.088s passed
testTacletVariableCollector() 0.072s passed
testTacletWithIf() 0.067s passed

Standard output

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