TestApplyTaclet

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

tests
0

failures
0

ignored
4.338s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.311s passed
testAddExistingFormulaSucc() 0.182s passed
testAddExistingFormulaTwoInAntec() 0.059s passed
testAddExistingFormulaTwoInAntec2() 0.055s passed
testAddExistingFormulaTwoInSucc() 0.059s passed
testAddExistingFormulaTwoInSucc2() 0.053s passed
testAddingRule() 0.059s passed
testAntecTacletWithoutIf() 0.058s passed
testBugBrokenApply() 0.056s passed
testBugEmptyBlock() 0.148s passed
testBugID176() 0.057s passed
testBugID177() 0.056s passed
testBugID188() 0.057s passed
testCatchList() 1.425s passed
testCompleteContextAddBug() 0.061s passed
testContextAdding() 0.064s passed
testIncompleteNoFindTacletApp() 0.116s passed
testIncompleteSuccTacletApp() 0.070s passed
testModalityLevel0() 0.159s passed
testModalityLevel1() 0.154s passed
testModalityLevel2() 0.089s passed
testNoFindTacletWithoutIf() 0.059s passed
testPrgTacletApp() 0.063s passed
testRemoveEmptyBlock() 0.059s passed
testRewriteTacletWithoutIf() 0.062s passed
testSuccTacletAllRight() 0.413s passed
testSuccTacletWithoutIf() 0.058s passed
testTacletVariableCollector() 0.221s passed
testTacletWithIf() 0.055s passed

Standard output

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