TestApplyTaclet

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

tests
0

failures
0

ignored
1.991s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.034s passed
testAddExistingFormulaSucc() 0.033s passed
testAddExistingFormulaTwoInAntec() 0.034s passed
testAddExistingFormulaTwoInAntec2() 0.033s passed
testAddExistingFormulaTwoInSucc() 0.034s passed
testAddExistingFormulaTwoInSucc2() 0.032s passed
testAddingRule() 0.033s passed
testAntecTacletWithoutIf() 0.033s passed
testBugBrokenApply() 0.033s passed
testBugEmptyBlock() 0.034s passed
testBugID176() 0.031s passed
testBugID177() 0.032s passed
testBugID188() 0.032s passed
testCatchList() 1.039s passed
testCompleteContextAddBug() 0.032s passed
testContextAdding() 0.034s passed
testIncompleteNoFindTacletApp() 0.032s passed
testIncompleteSuccTacletApp() 0.032s passed
testModalityLevel0() 0.064s passed
testModalityLevel1() 0.034s passed
testModalityLevel2() 0.034s passed
testNoFindTacletWithoutIf() 0.032s passed
testPrgTacletApp() 0.034s passed
testRemoveEmptyBlock() 0.034s passed
testRewriteTacletWithoutIf() 0.031s passed
testSuccTacletAllRight() 0.033s passed
testSuccTacletWithoutIf() 0.032s passed
testTacletVariableCollector() 0.033s passed
testTacletWithIf() 0.033s passed

Standard output

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