TestApplyTaclet

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

tests
0

failures
0

ignored
6.364s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.239s passed
testAddExistingFormulaSucc() 0.096s passed
testAddExistingFormulaTwoInAntec() 0.101s passed
testAddExistingFormulaTwoInAntec2() 0.085s passed
testAddExistingFormulaTwoInSucc() 0.981s passed
testAddExistingFormulaTwoInSucc2() 0.083s passed
testAddingRule() 0.637s passed
testAntecTacletWithoutIf() 0.093s passed
testBugBrokenApply() 0.097s passed
testBugEmptyBlock() 0.074s passed
testBugID176() 0.089s passed
testBugID177() 0.091s passed
testBugID188() 0.089s passed
testCatchList() 1.796s passed
testCompleteContextAddBug() 0.109s passed
testContextAdding() 0.166s passed
testIncompleteNoFindTacletApp() 0.130s passed
testIncompleteSuccTacletApp() 0.086s passed
testModalityLevel0() 0.278s passed
testModalityLevel1() 0.195s passed
testModalityLevel2() 0.102s passed
testNoFindTacletWithoutIf() 0.098s passed
testPrgTacletApp() 0.081s passed
testRemoveEmptyBlock() 0.087s passed
testRewriteTacletWithoutIf() 0.117s passed
testSuccTacletAllRight() 0.089s passed
testSuccTacletWithoutIf() 0.096s passed
testTacletVariableCollector() 0.094s passed
testTacletWithIf() 0.085s passed

Standard output

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