TestApplyTaclet

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

tests
0

failures
0

ignored
3.558s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.081s passed
testAddExistingFormulaSucc() 0.091s passed
testAddExistingFormulaTwoInAntec() 0.083s passed
testAddExistingFormulaTwoInAntec2() 0.078s passed
testAddExistingFormulaTwoInSucc() 0.082s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 0.078s passed
testAntecTacletWithoutIf() 0.080s passed
testBugBrokenApply() 0.080s passed
testBugEmptyBlock() 0.076s passed
testBugID176() 0.098s passed
testBugID177() 0.074s passed
testBugID188() 0.076s passed
testCatchList() 1.303s passed
testCompleteContextAddBug() 0.080s passed
testContextAdding() 0.078s passed
testIncompleteNoFindTacletApp() 0.081s passed
testIncompleteSuccTacletApp() 0.074s passed
testModalityLevel0() 0.079s passed
testModalityLevel1() 0.079s passed
testModalityLevel2() 0.077s passed
testNoFindTacletWithoutIf() 0.079s passed
testPrgTacletApp() 0.108s passed
testRemoveEmptyBlock() 0.081s passed
testRewriteTacletWithoutIf() 0.074s passed
testSuccTacletAllRight() 0.076s passed
testSuccTacletWithoutIf() 0.080s passed
testTacletVariableCollector() 0.077s passed
testTacletWithIf() 0.077s passed

Standard output

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