TestApplyTaclet

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

tests
0

failures
0

ignored
5.601s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.245s passed
testAddExistingFormulaSucc() 0.277s passed
testAddExistingFormulaTwoInAntec() 0.100s passed
testAddExistingFormulaTwoInAntec2() 0.073s passed
testAddExistingFormulaTwoInSucc() 0.089s passed
testAddExistingFormulaTwoInSucc2() 0.080s passed
testAddingRule() 0.085s passed
testAntecTacletWithoutIf() 0.076s passed
testBugBrokenApply() 0.078s passed
testBugEmptyBlock() 0.082s passed
testBugID176() 0.087s passed
testBugID177() 0.444s passed
testBugID188() 0.063s passed
testCatchList() 1.225s passed
testCompleteContextAddBug() 0.082s passed
testContextAdding() 0.103s passed
testIncompleteNoFindTacletApp() 0.135s passed
testIncompleteSuccTacletApp() 0.064s passed
testModalityLevel0() 0.502s passed
testModalityLevel1() 0.233s passed
testModalityLevel2() 0.076s passed
testNoFindTacletWithoutIf() 0.088s passed
testPrgTacletApp() 0.694s passed
testRemoveEmptyBlock() 0.082s passed
testRewriteTacletWithoutIf() 0.264s passed
testSuccTacletAllRight() 0.068s passed
testSuccTacletWithoutIf() 0.061s passed
testTacletVariableCollector() 0.067s passed
testTacletWithIf() 0.078s passed

Standard output

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