TestApplyTaclet

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

tests
0

failures
0

ignored
2.922s

duration
100%

successful

Tests

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

Standard output

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