TestApplyTaclet

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

tests
0

failures
0

ignored
5.142s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.323s passed
testAddExistingFormulaSucc() 0.187s passed
testAddExistingFormulaTwoInAntec() 0.075s passed
testAddExistingFormulaTwoInAntec2() 0.067s passed
testAddExistingFormulaTwoInSucc() 0.065s passed
testAddExistingFormulaTwoInSucc2() 0.065s passed
testAddingRule() 0.162s passed
testAntecTacletWithoutIf() 0.065s passed
testBugBrokenApply() 0.077s passed
testBugEmptyBlock() 0.066s passed
testBugID176() 0.069s passed
testBugID177() 0.067s passed
testBugID188() 0.066s passed
testCatchList() 1.497s passed
testCompleteContextAddBug() 0.079s passed
testContextAdding() 0.070s passed
testIncompleteNoFindTacletApp() 0.144s passed
testIncompleteSuccTacletApp() 0.064s passed
testModalityLevel0() 0.181s passed
testModalityLevel1() 0.093s passed
testModalityLevel2() 0.234s passed
testNoFindTacletWithoutIf() 0.077s passed
testPrgTacletApp() 0.067s passed
testRemoveEmptyBlock() 0.066s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.865s passed
testSuccTacletWithoutIf() 0.073s passed
testTacletVariableCollector() 0.145s passed
testTacletWithIf() 0.067s passed

Standard output

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