TestApplyTaclet

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

tests
0

failures
0

ignored
5.739s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.336s passed
testAddExistingFormulaSucc() 0.280s passed
testAddExistingFormulaTwoInAntec() 0.086s passed
testAddExistingFormulaTwoInAntec2() 0.079s passed
testAddExistingFormulaTwoInSucc() 0.094s passed
testAddExistingFormulaTwoInSucc2() 0.075s passed
testAddingRule() 0.110s passed
testAntecTacletWithoutIf() 0.090s passed
testBugBrokenApply() 0.079s passed
testBugEmptyBlock() 0.160s passed
testBugID176() 0.078s passed
testBugID177() 0.384s passed
testBugID188() 0.074s passed
testCatchList() 1.838s passed
testCompleteContextAddBug() 0.085s passed
testContextAdding() 0.112s passed
testIncompleteNoFindTacletApp() 0.079s passed
testIncompleteSuccTacletApp() 0.094s passed
testModalityLevel0() 0.212s passed
testModalityLevel1() 0.180s passed
testModalityLevel2() 0.197s passed
testNoFindTacletWithoutIf() 0.158s passed
testPrgTacletApp() 0.094s passed
testRemoveEmptyBlock() 0.077s passed
testRewriteTacletWithoutIf() 0.071s passed
testSuccTacletAllRight() 0.263s passed
testSuccTacletWithoutIf() 0.071s passed
testTacletVariableCollector() 0.208s passed
testTacletWithIf() 0.075s passed

Standard output

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