TestApplyTaclet

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

tests
0

failures
0

ignored
2.633s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.040s passed
testAddExistingFormulaSucc() 0.244s passed
testAddExistingFormulaTwoInAntec() 0.036s passed
testAddExistingFormulaTwoInAntec2() 0.037s passed
testAddExistingFormulaTwoInSucc() 0.048s passed
testAddExistingFormulaTwoInSucc2() 0.036s passed
testAddingRule() 0.039s passed
testAntecTacletWithoutIf() 0.036s passed
testBugBrokenApply() 0.036s passed
testBugEmptyBlock() 0.039s passed
testBugID176() 0.035s passed
testBugID177() 0.035s passed
testBugID188() 0.255s passed
testCatchList() 0.897s passed
testCompleteContextAddBug() 0.055s passed
testContextAdding() 0.040s passed
testIncompleteNoFindTacletApp() 0.074s passed
testIncompleteSuccTacletApp() 0.038s passed
testModalityLevel0() 0.093s passed
testModalityLevel1() 0.040s passed
testModalityLevel2() 0.040s passed
testNoFindTacletWithoutIf() 0.076s passed
testPrgTacletApp() 0.142s passed
testRemoveEmptyBlock() 0.037s passed
testRewriteTacletWithoutIf() 0.035s passed
testSuccTacletAllRight() 0.036s passed
testSuccTacletWithoutIf() 0.039s passed
testTacletVariableCollector() 0.038s passed
testTacletWithIf() 0.037s passed

Standard output

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