TestApplyTaclet

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

tests
0

failures
0

ignored
3.237s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.073s passed
testAddExistingFormulaSucc() 0.075s passed
testAddExistingFormulaTwoInAntec() 0.084s passed
testAddExistingFormulaTwoInAntec2() 0.078s passed
testAddExistingFormulaTwoInSucc() 0.067s passed
testAddExistingFormulaTwoInSucc2() 0.066s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.068s passed
testBugBrokenApply() 0.070s passed
testBugEmptyBlock() 0.070s passed
testBugID176() 0.081s passed
testBugID177() 0.070s passed
testBugID188() 0.067s passed
testCatchList() 1.185s passed
testCompleteContextAddBug() 0.070s passed
testContextAdding() 0.102s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.071s passed
testModalityLevel0() 0.075s passed
testModalityLevel1() 0.080s passed
testModalityLevel2() 0.079s passed
testNoFindTacletWithoutIf() 0.080s passed
testPrgTacletApp() 0.068s passed
testRemoveEmptyBlock() 0.066s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.080s passed
testSuccTacletWithoutIf() 0.073s passed
testTacletVariableCollector() 0.069s passed
testTacletWithIf() 0.075s passed

Standard output

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