TestApplyTaclet

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

tests
0

failures
0

ignored
5.323s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.282s passed
testAddExistingFormulaSucc() 0.076s passed
testAddExistingFormulaTwoInAntec() 0.082s passed
testAddExistingFormulaTwoInAntec2() 0.077s passed
testAddExistingFormulaTwoInSucc() 0.080s passed
testAddExistingFormulaTwoInSucc2() 0.075s passed
testAddingRule() 0.087s passed
testAntecTacletWithoutIf() 0.082s passed
testBugBrokenApply() 0.079s passed
testBugEmptyBlock() 0.161s passed
testBugID176() 0.069s passed
testBugID177() 0.075s passed
testBugID188() 0.071s passed
testCatchList() 1.711s passed
testCompleteContextAddBug() 0.082s passed
testContextAdding() 0.085s passed
testIncompleteNoFindTacletApp() 0.074s passed
testIncompleteSuccTacletApp() 0.073s passed
testModalityLevel0() 0.079s passed
testModalityLevel1() 1.239s passed
testModalityLevel2() 0.083s passed
testNoFindTacletWithoutIf() 0.083s passed
testPrgTacletApp() 0.084s passed
testRemoveEmptyBlock() 0.076s passed
testRewriteTacletWithoutIf() 0.067s passed
testSuccTacletAllRight() 0.069s passed
testSuccTacletWithoutIf() 0.074s passed
testTacletVariableCollector() 0.073s passed
testTacletWithIf() 0.075s passed

Standard output

785352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
785352     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 
785352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
785352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
785415     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 63ms