TestApplyTaclet

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

tests
0

failures
0

ignored
2.687s

duration
100%

successful

Tests

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

Standard output

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