TestApplyTaclet

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

tests
0

failures
0

ignored
3.032s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.055s passed
testAddExistingFormulaSucc() 0.054s passed
testAddExistingFormulaTwoInAntec() 0.061s passed
testAddExistingFormulaTwoInAntec2() 0.053s passed
testAddExistingFormulaTwoInSucc() 0.053s passed
testAddExistingFormulaTwoInSucc2() 0.052s passed
testAddingRule() 0.053s passed
testAntecTacletWithoutIf() 0.055s passed
testBugBrokenApply() 0.064s passed
testBugEmptyBlock() 0.053s passed
testBugID176() 0.053s passed
testBugID177() 0.052s passed
testBugID188() 0.056s passed
testCatchList() 1.503s passed
testCompleteContextAddBug() 0.057s passed
testContextAdding() 0.055s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.052s passed
testModalityLevel0() 0.053s passed
testModalityLevel1() 0.056s passed
testModalityLevel2() 0.056s passed
testNoFindTacletWithoutIf() 0.053s passed
testPrgTacletApp() 0.056s passed
testRemoveEmptyBlock() 0.056s passed
testRewriteTacletWithoutIf() 0.052s passed
testSuccTacletAllRight() 0.051s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.056s passed
testTacletWithIf() 0.053s passed

Standard output

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