TestApplyTaclet

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

tests
0

failures
0

ignored
3.597s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.068s passed
testAddExistingFormulaSucc() 0.076s passed
testAddExistingFormulaTwoInAntec() 0.093s passed
testAddExistingFormulaTwoInAntec2() 0.087s passed
testAddExistingFormulaTwoInSucc() 0.069s passed
testAddExistingFormulaTwoInSucc2() 0.073s passed
testAddingRule() 0.078s passed
testAntecTacletWithoutIf() 0.090s passed
testBugBrokenApply() 0.081s passed
testBugEmptyBlock() 0.093s passed
testBugID176() 0.068s passed
testBugID177() 0.074s passed
testBugID188() 0.067s passed
testCatchList() 1.265s passed
testCompleteContextAddBug() 0.094s passed
testContextAdding() 0.073s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.076s passed
testModalityLevel0() 0.092s passed
testModalityLevel1() 0.073s passed
testModalityLevel2() 0.071s passed
testNoFindTacletWithoutIf() 0.071s passed
testPrgTacletApp() 0.076s passed
testRemoveEmptyBlock() 0.069s passed
testRewriteTacletWithoutIf() 0.073s passed
testSuccTacletAllRight() 0.069s passed
testSuccTacletWithoutIf() 0.076s passed
testTacletVariableCollector() 0.082s passed
testTacletWithIf() 0.253s passed

Standard output

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