TestApplyTaclet

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

tests
0

failures
0

ignored
1.890s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.036s passed
testAddExistingFormulaSucc() 0.036s passed
testAddExistingFormulaTwoInAntec() 0.035s passed
testAddExistingFormulaTwoInAntec2() 0.041s passed
testAddExistingFormulaTwoInSucc() 0.037s passed
testAddExistingFormulaTwoInSucc2() 0.033s passed
testAddingRule() 0.038s passed
testAntecTacletWithoutIf() 0.038s passed
testBugBrokenApply() 0.035s passed
testBugEmptyBlock() 0.036s passed
testBugID176() 0.033s passed
testBugID177() 0.034s passed
testBugID188() 0.032s passed
testCatchList() 0.897s passed
testCompleteContextAddBug() 0.035s passed
testContextAdding() 0.039s passed
testIncompleteNoFindTacletApp() 0.033s passed
testIncompleteSuccTacletApp() 0.034s passed
testModalityLevel0() 0.036s passed
testModalityLevel1() 0.039s passed
testModalityLevel2() 0.038s passed
testNoFindTacletWithoutIf() 0.033s passed
testPrgTacletApp() 0.034s passed
testRemoveEmptyBlock() 0.035s passed
testRewriteTacletWithoutIf() 0.033s passed
testSuccTacletAllRight() 0.033s passed
testSuccTacletWithoutIf() 0.033s passed
testTacletVariableCollector() 0.039s passed
testTacletWithIf() 0.035s passed

Standard output

398485     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
398486     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms