TestApplyTaclet

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

tests
0

failures
0

ignored
3.868s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.072s passed
testAddExistingFormulaSucc() 0.074s passed
testAddExistingFormulaTwoInAntec() 0.085s passed
testAddExistingFormulaTwoInAntec2() 0.081s passed
testAddExistingFormulaTwoInSucc() 0.075s passed
testAddExistingFormulaTwoInSucc2() 0.070s passed
testAddingRule() 0.073s passed
testAntecTacletWithoutIf() 0.074s passed
testBugBrokenApply() 0.073s passed
testBugEmptyBlock() 0.074s passed
testBugID176() 0.070s passed
testBugID177() 0.070s passed
testBugID188() 0.094s passed
testCatchList() 1.776s passed
testCompleteContextAddBug() 0.078s passed
testContextAdding() 0.076s passed
testIncompleteNoFindTacletApp() 0.074s passed
testIncompleteSuccTacletApp() 0.071s passed
testModalityLevel0() 0.073s passed
testModalityLevel1() 0.074s passed
testModalityLevel2() 0.076s passed
testNoFindTacletWithoutIf() 0.067s passed
testPrgTacletApp() 0.076s passed
testRemoveEmptyBlock() 0.072s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.073s passed
testSuccTacletWithoutIf() 0.071s passed
testTacletVariableCollector() 0.089s passed
testTacletWithIf() 0.069s passed

Standard output

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