TestApplyTaclet

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

tests
0

failures
0

ignored
3.677s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.056s passed
testAddExistingFormulaSucc() 0.188s passed
testAddExistingFormulaTwoInAntec() 0.099s passed
testAddExistingFormulaTwoInAntec2() 0.075s passed
testAddExistingFormulaTwoInSucc() 0.059s passed
testAddExistingFormulaTwoInSucc2() 0.086s passed
testAddingRule() 0.056s passed
testAntecTacletWithoutIf() 0.074s passed
testBugBrokenApply() 0.077s passed
testBugEmptyBlock() 0.066s passed
testBugID176() 0.061s passed
testBugID177() 0.057s passed
testBugID188() 0.208s passed
testCatchList() 1.076s passed
testCompleteContextAddBug() 0.342s passed
testContextAdding() 0.060s passed
testIncompleteNoFindTacletApp() 0.053s passed
testIncompleteSuccTacletApp() 0.058s passed
testModalityLevel0() 0.058s passed
testModalityLevel1() 0.167s passed
testModalityLevel2() 0.056s passed
testNoFindTacletWithoutIf() 0.056s passed
testPrgTacletApp() 0.201s passed
testRemoveEmptyBlock() 0.074s passed
testRewriteTacletWithoutIf() 0.057s passed
testSuccTacletAllRight() 0.059s passed
testSuccTacletWithoutIf() 0.066s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.072s passed

Standard output

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