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.321s passed
testAddExistingFormulaSucc() 0.079s passed
testAddExistingFormulaTwoInAntec() 0.079s passed
testAddExistingFormulaTwoInAntec2() 0.080s passed
testAddExistingFormulaTwoInSucc() 0.074s passed
testAddExistingFormulaTwoInSucc2() 0.073s passed
testAddingRule() 0.080s passed
testAntecTacletWithoutIf() 0.083s passed
testBugBrokenApply() 0.074s passed
testBugEmptyBlock() 0.326s passed
testBugID176() 0.098s passed
testBugID177() 0.079s passed
testBugID188() 0.073s passed
testCatchList() 1.310s passed
testCompleteContextAddBug() 0.078s passed
testContextAdding() 1.236s passed
testIncompleteNoFindTacletApp() 0.074s passed
testIncompleteSuccTacletApp() 0.073s passed
testModalityLevel0() 0.074s passed
testModalityLevel1() 0.073s passed
testModalityLevel2() 0.078s passed
testNoFindTacletWithoutIf() 0.075s passed
testPrgTacletApp() 0.559s passed
testRemoveEmptyBlock() 0.076s passed
testRewriteTacletWithoutIf() 0.073s passed
testSuccTacletAllRight() 0.070s passed
testSuccTacletWithoutIf() 0.072s passed
testTacletVariableCollector() 0.090s passed
testTacletWithIf() 0.071s passed

Standard output

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