TestApplyTaclet

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

tests
0

failures
0

ignored
3.651s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.084s passed
testAddExistingFormulaSucc() 0.078s passed
testAddExistingFormulaTwoInAntec() 0.102s passed
testAddExistingFormulaTwoInAntec2() 0.077s passed
testAddExistingFormulaTwoInSucc() 0.080s passed
testAddExistingFormulaTwoInSucc2() 0.072s passed
testAddingRule() 0.083s passed
testAntecTacletWithoutIf() 0.081s passed
testBugBrokenApply() 0.093s passed
testBugEmptyBlock() 0.082s passed
testBugID176() 0.080s passed
testBugID177() 0.075s passed
testBugID188() 0.105s passed
testCatchList() 1.323s passed
testCompleteContextAddBug() 0.080s passed
testContextAdding() 0.081s passed
testIncompleteNoFindTacletApp() 0.076s passed
testIncompleteSuccTacletApp() 0.081s passed
testModalityLevel0() 0.076s passed
testModalityLevel1() 0.080s passed
testModalityLevel2() 0.108s passed
testNoFindTacletWithoutIf() 0.099s passed
testPrgTacletApp() 0.080s passed
testRemoveEmptyBlock() 0.080s passed
testRewriteTacletWithoutIf() 0.073s passed
testSuccTacletAllRight() 0.078s passed
testSuccTacletWithoutIf() 0.077s passed
testTacletVariableCollector() 0.094s passed
testTacletWithIf() 0.073s passed

Standard output

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