TestApplyTaclet

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

tests
0

failures
0

ignored
4.767s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.104s passed
testAddExistingFormulaSucc() 0.159s passed
testAddExistingFormulaTwoInAntec() 0.060s passed
testAddExistingFormulaTwoInAntec2() 0.062s passed
testAddExistingFormulaTwoInSucc() 0.082s passed
testAddExistingFormulaTwoInSucc2() 0.058s passed
testAddingRule() 0.184s passed
testAntecTacletWithoutIf() 0.061s passed
testBugBrokenApply() 0.063s passed
testBugEmptyBlock() 0.281s passed
testBugID176() 0.059s passed
testBugID177() 0.062s passed
testBugID188() 0.061s passed
testCatchList() 1.532s passed
testCompleteContextAddBug() 0.062s passed
testContextAdding() 0.238s passed
testIncompleteNoFindTacletApp() 0.058s passed
testIncompleteSuccTacletApp() 0.136s passed
testModalityLevel0() 0.252s passed
testModalityLevel1() 0.071s passed
testModalityLevel2() 0.055s passed
testNoFindTacletWithoutIf() 0.107s passed
testPrgTacletApp() 0.081s passed
testRemoveEmptyBlock() 0.062s passed
testRewriteTacletWithoutIf() 0.496s passed
testSuccTacletAllRight() 0.135s passed
testSuccTacletWithoutIf() 0.059s passed
testTacletVariableCollector() 0.068s passed
testTacletWithIf() 0.059s passed

Standard output

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