TestApplyTaclet

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

tests
0

failures
0

ignored
3.787s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.079s passed
testAddExistingFormulaSucc() 0.080s passed
testAddExistingFormulaTwoInAntec() 0.240s passed
testAddExistingFormulaTwoInAntec2() 0.092s passed
testAddExistingFormulaTwoInSucc() 0.074s passed
testAddExistingFormulaTwoInSucc2() 0.081s passed
testAddingRule() 0.081s passed
testAntecTacletWithoutIf() 0.094s passed
testBugBrokenApply() 0.084s passed
testBugEmptyBlock() 0.078s passed
testBugID176() 0.074s passed
testBugID177() 0.077s passed
testBugID188() 0.071s passed
testCatchList() 1.418s passed
testCompleteContextAddBug() 0.078s passed
testContextAdding() 0.078s passed
testIncompleteNoFindTacletApp() 0.090s passed
testIncompleteSuccTacletApp() 0.074s passed
testModalityLevel0() 0.073s passed
testModalityLevel1() 0.076s passed
testModalityLevel2() 0.079s passed
testNoFindTacletWithoutIf() 0.078s passed
testPrgTacletApp() 0.083s passed
testRemoveEmptyBlock() 0.075s passed
testRewriteTacletWithoutIf() 0.073s passed
testSuccTacletAllRight() 0.074s passed
testSuccTacletWithoutIf() 0.074s passed
testTacletVariableCollector() 0.080s passed
testTacletWithIf() 0.079s passed

Standard output

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