TestApplyTaclet

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

tests
0

failures
0

ignored
3.704s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.077s passed
testAddExistingFormulaSucc() 0.072s passed
testAddExistingFormulaTwoInAntec() 0.087s passed
testAddExistingFormulaTwoInAntec2() 0.231s passed
testAddExistingFormulaTwoInSucc() 0.079s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 0.076s passed
testAntecTacletWithoutIf() 0.082s passed
testBugBrokenApply() 0.079s passed
testBugEmptyBlock() 0.078s passed
testBugID176() 0.125s passed
testBugID177() 0.080s passed
testBugID188() 0.081s passed
testCatchList() 1.291s passed
testCompleteContextAddBug() 0.075s passed
testContextAdding() 0.079s passed
testIncompleteNoFindTacletApp() 0.076s passed
testIncompleteSuccTacletApp() 0.080s passed
testModalityLevel0() 0.075s passed
testModalityLevel1() 0.080s passed
testModalityLevel2() 0.078s passed
testNoFindTacletWithoutIf() 0.074s passed
testPrgTacletApp() 0.082s passed
testRemoveEmptyBlock() 0.085s passed
testRewriteTacletWithoutIf() 0.072s passed
testSuccTacletAllRight() 0.091s passed
testSuccTacletWithoutIf() 0.077s passed
testTacletVariableCollector() 0.081s passed
testTacletWithIf() 0.090s passed

Standard output

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