TestApplyTaclet

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

tests
0

failures
0

ignored
3.839s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.052s passed
testAddExistingFormulaSucc() 0.058s passed
testAddExistingFormulaTwoInAntec() 0.063s passed
testAddExistingFormulaTwoInAntec2() 0.058s passed
testAddExistingFormulaTwoInSucc() 0.057s passed
testAddExistingFormulaTwoInSucc2() 0.056s passed
testAddingRule() 0.052s passed
testAntecTacletWithoutIf() 0.059s passed
testBugBrokenApply() 0.059s passed
testBugEmptyBlock() 0.049s passed
testBugID176() 0.058s passed
testBugID177() 0.058s passed
testBugID188() 0.061s passed
testCatchList() 1.389s passed
testCompleteContextAddBug() 0.082s passed
testContextAdding() 0.053s passed
testIncompleteNoFindTacletApp() 0.058s passed
testIncompleteSuccTacletApp() 0.059s passed
testModalityLevel0() 0.059s passed
testModalityLevel1() 0.787s passed
testModalityLevel2() 0.049s passed
testNoFindTacletWithoutIf() 0.058s passed
testPrgTacletApp() 0.138s passed
testRemoveEmptyBlock() 0.062s passed
testRewriteTacletWithoutIf() 0.060s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.065s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.059s passed

Standard output

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