TestApplyTaclet

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

tests
0

failures
0

ignored
3.037s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.065s passed
testAddExistingFormulaSucc() 0.071s passed
testAddExistingFormulaTwoInAntec() 0.073s passed
testAddExistingFormulaTwoInAntec2() 0.064s passed
testAddExistingFormulaTwoInSucc() 0.068s passed
testAddExistingFormulaTwoInSucc2() 0.061s passed
testAddingRule() 0.076s passed
testAntecTacletWithoutIf() 0.072s passed
testBugBrokenApply() 0.068s passed
testBugEmptyBlock() 0.067s passed
testBugID176() 0.062s passed
testBugID177() 0.063s passed
testBugID188() 0.063s passed
testCatchList() 1.150s passed
testCompleteContextAddBug() 0.070s passed
testContextAdding() 0.069s passed
testIncompleteNoFindTacletApp() 0.066s passed
testIncompleteSuccTacletApp() 0.065s passed
testModalityLevel0() 0.073s passed
testModalityLevel1() 0.073s passed
testModalityLevel2() 0.073s passed
testNoFindTacletWithoutIf() 0.073s passed
testPrgTacletApp() 0.069s passed
testRemoveEmptyBlock() 0.064s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.063s passed
testSuccTacletWithoutIf() 0.065s passed
testTacletVariableCollector() 0.062s passed
testTacletWithIf() 0.061s passed

Standard output

510147     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
510147     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 
510147     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
510210     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 47ms