TestApplyTaclet

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

tests
0

failures
0

ignored
2.558s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.055s passed
testAddExistingFormulaSucc() 0.059s passed
testAddExistingFormulaTwoInAntec() 0.070s passed
testAddExistingFormulaTwoInAntec2() 0.059s passed
testAddExistingFormulaTwoInSucc() 0.058s passed
testAddExistingFormulaTwoInSucc2() 0.052s passed
testAddingRule() 0.056s passed
testAntecTacletWithoutIf() 0.059s passed
testBugBrokenApply() 0.061s passed
testBugEmptyBlock() 0.056s passed
testBugID176() 0.057s passed
testBugID177() 0.053s passed
testBugID188() 0.055s passed
testCatchList() 0.968s passed
testCompleteContextAddBug() 0.060s passed
testContextAdding() 0.057s passed
testIncompleteNoFindTacletApp() 0.053s passed
testIncompleteSuccTacletApp() 0.054s passed
testModalityLevel0() 0.058s passed
testModalityLevel1() 0.058s passed
testModalityLevel2() 0.057s passed
testNoFindTacletWithoutIf() 0.053s passed
testPrgTacletApp() 0.058s passed
testRemoveEmptyBlock() 0.053s passed
testRewriteTacletWithoutIf() 0.053s passed
testSuccTacletAllRight() 0.053s passed
testSuccTacletWithoutIf() 0.056s passed
testTacletVariableCollector() 0.064s passed
testTacletWithIf() 0.053s passed

Standard output

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