TestApplyTaclet

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

tests
0

failures
0

ignored
3.629s

duration
100%

successful

Tests

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

Standard output

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