TestApplyTaclet

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

tests
0

failures
0

ignored
3.805s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.088s passed
testAddExistingFormulaSucc() 0.082s passed
testAddExistingFormulaTwoInAntec() 0.090s passed
testAddExistingFormulaTwoInAntec2() 0.099s passed
testAddExistingFormulaTwoInSucc() 0.105s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 0.089s passed
testAntecTacletWithoutIf() 0.096s passed
testBugBrokenApply() 0.098s passed
testBugEmptyBlock() 0.086s passed
testBugID176() 0.080s passed
testBugID177() 0.076s passed
testBugID188() 0.081s passed
testCatchList() 1.359s passed
testCompleteContextAddBug() 0.094s passed
testContextAdding() 0.084s passed
testIncompleteNoFindTacletApp() 0.079s passed
testIncompleteSuccTacletApp() 0.083s passed
testModalityLevel0() 0.086s passed
testModalityLevel1() 0.093s passed
testModalityLevel2() 0.083s passed
testNoFindTacletWithoutIf() 0.080s passed
testPrgTacletApp() 0.089s passed
testRemoveEmptyBlock() 0.080s passed
testRewriteTacletWithoutIf() 0.080s passed
testSuccTacletAllRight() 0.080s passed
testSuccTacletWithoutIf() 0.118s passed
testTacletVariableCollector() 0.089s passed
testTacletWithIf() 0.080s passed

Standard output

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