TestApplyTaclet

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

tests
0

failures
0

ignored
2.719s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.076s passed
testAddExistingFormulaSucc() 0.062s passed
testAddExistingFormulaTwoInAntec() 0.072s passed
testAddExistingFormulaTwoInAntec2() 0.062s passed
testAddExistingFormulaTwoInSucc() 0.058s passed
testAddExistingFormulaTwoInSucc2() 0.059s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.059s passed
testBugEmptyBlock() 0.060s passed
testBugID176() 0.060s passed
testBugID177() 0.057s passed
testBugID188() 0.058s passed
testCatchList() 1.006s passed
testCompleteContextAddBug() 0.060s passed
testContextAdding() 0.061s passed
testIncompleteNoFindTacletApp() 0.057s passed
testIncompleteSuccTacletApp() 0.059s passed
testModalityLevel0() 0.060s passed
testModalityLevel1() 0.063s passed
testModalityLevel2() 0.060s passed
testNoFindTacletWithoutIf() 0.060s passed
testPrgTacletApp() 0.060s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.056s passed
testSuccTacletWithoutIf() 0.062s passed
testTacletVariableCollector() 0.066s passed
testTacletWithIf() 0.059s passed

Standard output

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