TestApplyTaclet

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

tests
0

failures
0

ignored
2.419s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.049s passed
testAddExistingFormulaSucc() 0.045s passed
testAddExistingFormulaTwoInAntec() 0.045s passed
testAddExistingFormulaTwoInAntec2() 0.044s passed
testAddExistingFormulaTwoInSucc() 0.045s passed
testAddExistingFormulaTwoInSucc2() 0.045s passed
testAddingRule() 0.050s passed
testAntecTacletWithoutIf() 0.055s passed
testBugBrokenApply() 0.045s passed
testBugEmptyBlock() 0.050s passed
testBugID176() 0.046s passed
testBugID177() 0.046s passed
testBugID188() 0.044s passed
testCatchList() 1.053s passed
testCompleteContextAddBug() 0.046s passed
testContextAdding() 0.051s passed
testIncompleteNoFindTacletApp() 0.046s passed
testIncompleteSuccTacletApp() 0.044s passed
testModalityLevel0() 0.071s passed
testModalityLevel1() 0.049s passed
testModalityLevel2() 0.050s passed
testNoFindTacletWithoutIf() 0.078s passed
testPrgTacletApp() 0.052s passed
testRemoveEmptyBlock() 0.045s passed
testRewriteTacletWithoutIf() 0.043s passed
testSuccTacletAllRight() 0.044s passed
testSuccTacletWithoutIf() 0.044s passed
testTacletVariableCollector() 0.046s passed
testTacletWithIf() 0.048s passed

Standard output

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