TestApplyTaclet

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

tests
0

failures
0

ignored
2.511s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.049s passed
testAddExistingFormulaSucc() 0.051s passed
testAddExistingFormulaTwoInAntec() 0.048s passed
testAddExistingFormulaTwoInAntec2() 0.048s passed
testAddExistingFormulaTwoInSucc() 0.049s passed
testAddExistingFormulaTwoInSucc2() 0.050s passed
testAddingRule() 0.049s passed
testAntecTacletWithoutIf() 0.047s passed
testBugBrokenApply() 0.048s passed
testBugEmptyBlock() 0.050s passed
testBugID176() 0.057s passed
testBugID177() 0.050s passed
testBugID188() 0.047s passed
testCatchList() 1.115s passed
testCompleteContextAddBug() 0.050s passed
testContextAdding() 0.056s passed
testIncompleteNoFindTacletApp() 0.053s passed
testIncompleteSuccTacletApp() 0.048s passed
testModalityLevel0() 0.048s passed
testModalityLevel1() 0.049s passed
testModalityLevel2() 0.049s passed
testNoFindTacletWithoutIf() 0.048s passed
testPrgTacletApp() 0.051s passed
testRemoveEmptyBlock() 0.048s passed
testRewriteTacletWithoutIf() 0.048s passed
testSuccTacletAllRight() 0.049s passed
testSuccTacletWithoutIf() 0.048s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.048s passed

Standard output

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