TestApplyTaclet

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

tests
0

failures
0

ignored
3.442s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.078s passed
testAddExistingFormulaSucc() 0.068s passed
testAddExistingFormulaTwoInAntec() 0.082s passed
testAddExistingFormulaTwoInAntec2() 0.066s passed
testAddExistingFormulaTwoInSucc() 0.068s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 0.069s passed
testAntecTacletWithoutIf() 0.067s passed
testBugBrokenApply() 0.087s passed
testBugEmptyBlock() 0.072s passed
testBugID176() 0.073s passed
testBugID177() 0.073s passed
testBugID188() 0.070s passed
testCatchList() 1.447s passed
testCompleteContextAddBug() 0.076s passed
testContextAdding() 0.069s passed
testIncompleteNoFindTacletApp() 0.066s passed
testIncompleteSuccTacletApp() 0.069s passed
testModalityLevel0() 0.069s passed
testModalityLevel1() 0.085s passed
testModalityLevel2() 0.064s passed
testNoFindTacletWithoutIf() 0.068s passed
testPrgTacletApp() 0.076s passed
testRemoveEmptyBlock() 0.065s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.065s passed
testSuccTacletWithoutIf() 0.073s passed
testTacletVariableCollector() 0.075s passed
testTacletWithIf() 0.065s passed

Standard output

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