TestApplyTaclet

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

tests
0

failures
0

ignored
4.192s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.272s passed
testAddExistingFormulaSucc() 0.066s passed
testAddExistingFormulaTwoInAntec() 0.058s passed
testAddExistingFormulaTwoInAntec2() 0.062s passed
testAddExistingFormulaTwoInSucc() 0.059s passed
testAddExistingFormulaTwoInSucc2() 0.054s passed
testAddingRule() 0.060s passed
testAntecTacletWithoutIf() 0.066s passed
testBugBrokenApply() 0.068s passed
testBugEmptyBlock() 0.222s passed
testBugID176() 0.055s passed
testBugID177() 0.062s passed
testBugID188() 0.072s passed
testCatchList() 1.049s passed
testCompleteContextAddBug() 0.059s passed
testContextAdding() 0.145s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.058s passed
testModalityLevel0() 0.879s passed
testModalityLevel1() 0.193s passed
testModalityLevel2() 0.058s passed
testNoFindTacletWithoutIf() 0.063s passed
testPrgTacletApp() 0.092s passed
testRemoveEmptyBlock() 0.060s passed
testRewriteTacletWithoutIf() 0.057s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.058s passed
testTacletVariableCollector() 0.059s passed
testTacletWithIf() 0.058s passed

Standard output

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