TestApplyTaclet

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

tests
0

failures
0

ignored
2.747s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.061s passed
testAddExistingFormulaSucc() 0.060s passed
testAddExistingFormulaTwoInAntec() 0.058s passed
testAddExistingFormulaTwoInAntec2() 0.057s passed
testAddExistingFormulaTwoInSucc() 0.060s passed
testAddExistingFormulaTwoInSucc2() 0.057s passed
testAddingRule() 0.060s passed
testAntecTacletWithoutIf() 0.068s passed
testBugBrokenApply() 0.064s passed
testBugEmptyBlock() 0.062s passed
testBugID176() 0.057s passed
testBugID177() 0.057s passed
testBugID188() 0.058s passed
testCatchList() 1.009s passed
testCompleteContextAddBug() 0.063s passed
testContextAdding() 0.061s passed
testIncompleteNoFindTacletApp() 0.058s passed
testIncompleteSuccTacletApp() 0.084s passed
testModalityLevel0() 0.063s passed
testModalityLevel1() 0.060s passed
testModalityLevel2() 0.084s passed
testNoFindTacletWithoutIf() 0.062s passed
testPrgTacletApp() 0.061s passed
testRemoveEmptyBlock() 0.063s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.057s passed
testSuccTacletWithoutIf() 0.059s passed
testTacletVariableCollector() 0.068s passed
testTacletWithIf() 0.058s passed

Standard output

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