TestApplyTaclet

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

tests
0

failures
0

ignored
3.285s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.069s passed
testAddExistingFormulaSucc() 0.082s passed
testAddExistingFormulaTwoInAntec() 0.091s passed
testAddExistingFormulaTwoInAntec2() 0.074s passed
testAddExistingFormulaTwoInSucc() 0.067s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.070s passed
testAntecTacletWithoutIf() 0.069s passed
testBugBrokenApply() 0.075s passed
testBugEmptyBlock() 0.069s passed
testBugID176() 0.073s passed
testBugID177() 0.063s passed
testBugID188() 0.064s passed
testCatchList() 1.261s passed
testCompleteContextAddBug() 0.071s passed
testContextAdding() 0.081s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.068s passed
testModalityLevel0() 0.068s passed
testModalityLevel1() 0.095s passed
testModalityLevel2() 0.070s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.070s passed
testRemoveEmptyBlock() 0.071s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.070s passed
testSuccTacletWithoutIf() 0.069s passed
testTacletVariableCollector() 0.092s passed
testTacletWithIf() 0.065s passed

Standard output

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