TestApplyTaclet

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

tests
0

failures
0

ignored
4.479s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.228s passed
testAddExistingFormulaSucc() 0.078s passed
testAddExistingFormulaTwoInAntec() 0.081s passed
testAddExistingFormulaTwoInAntec2() 0.071s passed
testAddExistingFormulaTwoInSucc() 0.069s passed
testAddExistingFormulaTwoInSucc2() 0.072s passed
testAddingRule() 0.073s passed
testAntecTacletWithoutIf() 0.077s passed
testBugBrokenApply() 0.074s passed
testBugEmptyBlock() 0.081s passed
testBugID176() 0.084s passed
testBugID177() 0.071s passed
testBugID188() 0.066s passed
testCatchList() 1.288s passed
testCompleteContextAddBug() 0.074s passed
testContextAdding() 1.049s passed
testIncompleteNoFindTacletApp() 0.070s passed
testIncompleteSuccTacletApp() 0.072s passed
testModalityLevel0() 0.078s passed
testModalityLevel1() 0.072s passed
testModalityLevel2() 0.074s passed
testNoFindTacletWithoutIf() 0.068s passed
testPrgTacletApp() 0.083s passed
testRemoveEmptyBlock() 0.075s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.073s passed
testSuccTacletWithoutIf() 0.067s passed
testTacletVariableCollector() 0.072s passed
testTacletWithIf() 0.071s passed

Standard output

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