TestApplyTaclet

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

tests
0

failures
0

ignored
2.909s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.094s passed
testAddExistingFormulaSucc() 0.040s passed
testAddExistingFormulaTwoInAntec() 0.040s passed
testAddExistingFormulaTwoInAntec2() 0.039s passed
testAddExistingFormulaTwoInSucc() 0.041s passed
testAddExistingFormulaTwoInSucc2() 0.039s passed
testAddingRule() 0.063s passed
testAntecTacletWithoutIf() 0.039s passed
testBugBrokenApply() 0.040s passed
testBugEmptyBlock() 0.047s passed
testBugID176() 0.039s passed
testBugID177() 0.039s passed
testBugID188() 0.052s passed
testCatchList() 0.894s passed
testCompleteContextAddBug() 0.040s passed
testContextAdding() 0.303s passed
testIncompleteNoFindTacletApp() 0.373s passed
testIncompleteSuccTacletApp() 0.043s passed
testModalityLevel0() 0.073s passed
testModalityLevel1() 0.038s passed
testModalityLevel2() 0.038s passed
testNoFindTacletWithoutIf() 0.103s passed
testPrgTacletApp() 0.151s passed
testRemoveEmptyBlock() 0.040s passed
testRewriteTacletWithoutIf() 0.039s passed
testSuccTacletAllRight() 0.039s passed
testSuccTacletWithoutIf() 0.039s passed
testTacletVariableCollector() 0.043s passed
testTacletWithIf() 0.041s passed

Standard output

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