TestApplyTaclet

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

tests
0

failures
0

ignored
3.057s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.189s passed
testAddExistingFormulaSucc() 0.126s passed
testAddExistingFormulaTwoInAntec() 0.181s passed
testAddExistingFormulaTwoInAntec2() 0.067s passed
testAddExistingFormulaTwoInSucc() 0.054s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.061s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.055s passed
testBugID176() 0.052s passed
testBugID177() 0.052s passed
testBugID188() 0.051s passed
testCatchList() 0.989s passed
testCompleteContextAddBug() 0.056s passed
testContextAdding() 0.081s passed
testIncompleteNoFindTacletApp() 0.056s passed
testIncompleteSuccTacletApp() 0.059s passed
testModalityLevel0() 0.058s passed
testModalityLevel1() 0.060s passed
testModalityLevel2() 0.060s passed
testNoFindTacletWithoutIf() 0.052s passed
testPrgTacletApp() 0.070s passed
testRemoveEmptyBlock() 0.056s passed
testRewriteTacletWithoutIf() 0.056s passed
testSuccTacletAllRight() 0.060s passed
testSuccTacletWithoutIf() 0.058s passed
testTacletVariableCollector() 0.152s passed
testTacletWithIf() 0.052s passed

Standard output

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