TestApplyTaclet

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

tests
0

failures
0

ignored
4.058s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.082s passed
testAddExistingFormulaSucc() 0.073s passed
testAddExistingFormulaTwoInAntec() 0.079s passed
testAddExistingFormulaTwoInAntec2() 0.073s passed
testAddExistingFormulaTwoInSucc() 0.077s passed
testAddExistingFormulaTwoInSucc2() 0.074s passed
testAddingRule() 0.098s passed
testAntecTacletWithoutIf() 0.073s passed
testBugBrokenApply() 0.082s passed
testBugEmptyBlock() 0.090s passed
testBugID176() 0.075s passed
testBugID177() 0.071s passed
testBugID188() 0.076s passed
testCatchList() 1.849s passed
testCompleteContextAddBug() 0.088s passed
testContextAdding() 0.079s passed
testIncompleteNoFindTacletApp() 0.074s passed
testIncompleteSuccTacletApp() 0.097s passed
testModalityLevel0() 0.071s passed
testModalityLevel1() 0.076s passed
testModalityLevel2() 0.074s passed
testNoFindTacletWithoutIf() 0.075s passed
testPrgTacletApp() 0.085s passed
testRemoveEmptyBlock() 0.087s passed
testRewriteTacletWithoutIf() 0.078s passed
testSuccTacletAllRight() 0.070s passed
testSuccTacletWithoutIf() 0.082s passed
testTacletVariableCollector() 0.068s passed
testTacletWithIf() 0.082s passed

Standard output

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