TestApplyTaclet

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

tests
0

failures
0

ignored
2.726s

duration
100%

successful

Tests

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

Standard output

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