TestApplyTaclet

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

tests
0

failures
0

ignored
3.797s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.085s passed
testAddExistingFormulaSucc() 0.084s passed
testAddExistingFormulaTwoInAntec() 0.105s passed
testAddExistingFormulaTwoInAntec2() 0.091s passed
testAddExistingFormulaTwoInSucc() 0.079s passed
testAddExistingFormulaTwoInSucc2() 0.080s passed
testAddingRule() 0.081s passed
testAntecTacletWithoutIf() 0.086s passed
testBugBrokenApply() 0.100s passed
testBugEmptyBlock() 0.078s passed
testBugID176() 0.090s passed
testBugID177() 0.077s passed
testBugID188() 0.077s passed
testCatchList() 1.344s passed
testCompleteContextAddBug() 0.090s passed
testContextAdding() 0.079s passed
testIncompleteNoFindTacletApp() 0.083s passed
testIncompleteSuccTacletApp() 0.091s passed
testModalityLevel0() 0.117s passed
testModalityLevel1() 0.100s passed
testModalityLevel2() 0.083s passed
testNoFindTacletWithoutIf() 0.080s passed
testPrgTacletApp() 0.091s passed
testRemoveEmptyBlock() 0.084s passed
testRewriteTacletWithoutIf() 0.078s passed
testSuccTacletAllRight() 0.091s passed
testSuccTacletWithoutIf() 0.083s passed
testTacletVariableCollector() 0.097s passed
testTacletWithIf() 0.093s passed

Standard output

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