TestApplyTaclet

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

tests
0

failures
0

ignored
3.050s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.051s passed
testAddExistingFormulaSucc() 0.051s passed
testAddExistingFormulaTwoInAntec() 0.066s passed
testAddExistingFormulaTwoInAntec2() 0.061s passed
testAddExistingFormulaTwoInSucc() 0.054s passed
testAddExistingFormulaTwoInSucc2() 0.057s passed
testAddingRule() 0.051s passed
testAntecTacletWithoutIf() 0.058s passed
testBugBrokenApply() 0.068s passed
testBugEmptyBlock() 0.052s passed
testBugID176() 0.053s passed
testBugID177() 0.053s passed
testBugID188() 0.048s passed
testCatchList() 1.505s passed
testCompleteContextAddBug() 0.052s passed
testContextAdding() 0.054s passed
testIncompleteNoFindTacletApp() 0.050s passed
testIncompleteSuccTacletApp() 0.047s passed
testModalityLevel0() 0.050s passed
testModalityLevel1() 0.052s passed
testModalityLevel2() 0.055s passed
testNoFindTacletWithoutIf() 0.051s passed
testPrgTacletApp() 0.053s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.056s passed
testSuccTacletAllRight() 0.056s passed
testSuccTacletWithoutIf() 0.050s passed
testTacletVariableCollector() 0.051s passed
testTacletWithIf() 0.078s passed

Standard output

519855     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 4 ms 
519856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms