TestApplyTaclet

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

tests
0

failures
0

ignored
2.583s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.058s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.068s passed
testAddExistingFormulaTwoInAntec2() 0.055s passed
testAddExistingFormulaTwoInSucc() 0.055s passed
testAddExistingFormulaTwoInSucc2() 0.053s passed
testAddingRule() 0.059s passed
testAntecTacletWithoutIf() 0.055s passed
testBugBrokenApply() 0.060s passed
testBugEmptyBlock() 0.066s passed
testBugID176() 0.056s passed
testBugID177() 0.054s passed
testBugID188() 0.054s passed
testCatchList() 0.970s passed
testCompleteContextAddBug() 0.058s passed
testContextAdding() 0.058s passed
testIncompleteNoFindTacletApp() 0.056s passed
testIncompleteSuccTacletApp() 0.056s passed
testModalityLevel0() 0.059s passed
testModalityLevel1() 0.058s passed
testModalityLevel2() 0.057s passed
testNoFindTacletWithoutIf() 0.056s passed
testPrgTacletApp() 0.079s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.054s passed
testSuccTacletAllRight() 0.055s passed
testSuccTacletWithoutIf() 0.053s passed
testTacletVariableCollector() 0.056s passed
testTacletWithIf() 0.055s passed

Standard output

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