TestApplyTaclet

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

tests
0

failures
0

ignored
3.683s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.090s passed
testAddExistingFormulaSucc() 0.073s passed
testAddExistingFormulaTwoInAntec() 0.085s passed
testAddExistingFormulaTwoInAntec2() 0.263s passed
testAddExistingFormulaTwoInSucc() 0.074s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 0.077s passed
testAntecTacletWithoutIf() 0.083s passed
testBugBrokenApply() 0.073s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.079s passed
testBugID177() 0.072s passed
testBugID188() 0.078s passed
testCatchList() 1.248s passed
testCompleteContextAddBug() 0.080s passed
testContextAdding() 0.087s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.088s passed
testModalityLevel0() 0.074s passed
testModalityLevel1() 0.075s passed
testModalityLevel2() 0.078s passed
testNoFindTacletWithoutIf() 0.084s passed
testPrgTacletApp() 0.088s passed
testRemoveEmptyBlock() 0.076s passed
testRewriteTacletWithoutIf() 0.084s passed
testSuccTacletAllRight() 0.104s passed
testSuccTacletWithoutIf() 0.081s passed
testTacletVariableCollector() 0.090s passed
testTacletWithIf() 0.075s passed

Standard output

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