TestApplyTaclet

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

tests
0

failures
0

ignored
2.660s

duration
100%

successful

Tests

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

Standard output

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