TestApplyTaclet

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

tests
0

failures
0

ignored
3.626s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.050s passed
testAddExistingFormulaSucc() 0.069s passed
testAddExistingFormulaTwoInAntec() 0.072s passed
testAddExistingFormulaTwoInAntec2() 0.059s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.055s passed
testAddingRule() 0.051s passed
testAntecTacletWithoutIf() 0.057s passed
testBugBrokenApply() 0.057s passed
testBugEmptyBlock() 0.121s passed
testBugID176() 0.347s passed
testBugID177() 0.050s passed
testBugID188() 0.049s passed
testCatchList() 1.448s passed
testCompleteContextAddBug() 0.060s passed
testContextAdding() 0.051s passed
testIncompleteNoFindTacletApp() 0.048s passed
testIncompleteSuccTacletApp() 0.048s passed
testModalityLevel0() 0.050s passed
testModalityLevel1() 0.175s passed
testModalityLevel2() 0.050s passed
testNoFindTacletWithoutIf() 0.075s passed
testPrgTacletApp() 0.051s passed
testRemoveEmptyBlock() 0.055s passed
testRewriteTacletWithoutIf() 0.049s passed
testSuccTacletAllRight() 0.218s passed
testSuccTacletWithoutIf() 0.053s passed
testTacletVariableCollector() 0.054s passed
testTacletWithIf() 0.054s passed

Standard output

642042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
642042     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1 
642042     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
642042     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
642058     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms