TestApplyTaclet

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

tests
0

failures
0

ignored
4.599s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.197s passed
testAddExistingFormulaSucc() 0.073s passed
testAddExistingFormulaTwoInAntec() 0.076s passed
testAddExistingFormulaTwoInAntec2() 0.069s passed
testAddExistingFormulaTwoInSucc() 0.072s passed
testAddExistingFormulaTwoInSucc2() 0.069s passed
testAddingRule() 0.224s passed
testAntecTacletWithoutIf() 0.066s passed
testBugBrokenApply() 0.069s passed
testBugEmptyBlock() 0.179s passed
testBugID176() 0.063s passed
testBugID177() 0.066s passed
testBugID188() 0.078s passed
testCatchList() 1.257s passed
testCompleteContextAddBug() 0.067s passed
testContextAdding() 0.091s passed
testIncompleteNoFindTacletApp() 0.889s passed
testIncompleteSuccTacletApp() 0.066s passed
testModalityLevel0() 0.192s passed
testModalityLevel1() 0.124s passed
testModalityLevel2() 0.076s passed
testNoFindTacletWithoutIf() 0.067s passed
testPrgTacletApp() 0.070s passed
testRemoveEmptyBlock() 0.069s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.066s passed
testSuccTacletWithoutIf() 0.065s passed
testTacletVariableCollector() 0.066s passed
testTacletWithIf() 0.067s passed

Standard output

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