TestApplyTaclet

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

tests
0

failures
0

ignored
2.043s

duration
100%

successful

Tests

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

Standard output

454546     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
454547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms