TestApplyTaclet

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

tests
0

failures
0

ignored
3.336s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.099s passed
testAddExistingFormulaSucc() 0.091s passed
testAddExistingFormulaTwoInAntec() 0.086s passed
testAddExistingFormulaTwoInAntec2() 0.068s passed
testAddExistingFormulaTwoInSucc() 0.069s passed
testAddExistingFormulaTwoInSucc2() 0.069s passed
testAddingRule() 0.073s passed
testAntecTacletWithoutIf() 0.066s passed
testBugBrokenApply() 0.073s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.077s passed
testBugID177() 0.072s passed
testBugID188() 0.068s passed
testCatchList() 1.222s passed
testCompleteContextAddBug() 0.073s passed
testContextAdding() 0.086s passed
testIncompleteNoFindTacletApp() 0.071s passed
testIncompleteSuccTacletApp() 0.093s passed
testModalityLevel0() 0.075s passed
testModalityLevel1() 0.075s passed
testModalityLevel2() 0.084s passed
testNoFindTacletWithoutIf() 0.071s passed
testPrgTacletApp() 0.082s passed
testRemoveEmptyBlock() 0.068s passed
testRewriteTacletWithoutIf() 0.067s passed
testSuccTacletAllRight() 0.069s passed
testSuccTacletWithoutIf() 0.067s passed
testTacletVariableCollector() 0.071s passed
testTacletWithIf() 0.072s passed

Standard output

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