TestApplyTaclet

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

tests
0

failures
0

ignored
2.578s

duration
100%

successful

Tests

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

Standard output

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