TestApplyTaclet

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

tests
0

failures
0

ignored
2.944s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.053s passed
testAddExistingFormulaSucc() 0.051s passed
testAddExistingFormulaTwoInAntec() 0.056s passed
testAddExistingFormulaTwoInAntec2() 0.053s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.052s passed
testAddingRule() 0.052s passed
testAntecTacletWithoutIf() 0.154s passed
testBugBrokenApply() 0.052s passed
testBugEmptyBlock() 0.052s passed
testBugID176() 0.054s passed
testBugID177() 0.051s passed
testBugID188() 0.052s passed
testCatchList() 1.354s passed
testCompleteContextAddBug() 0.055s passed
testContextAdding() 0.053s passed
testIncompleteNoFindTacletApp() 0.050s passed
testIncompleteSuccTacletApp() 0.050s passed
testModalityLevel0() 0.072s passed
testModalityLevel1() 0.054s passed
testModalityLevel2() 0.054s passed
testNoFindTacletWithoutIf() 0.051s passed
testPrgTacletApp() 0.056s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.051s passed
testSuccTacletAllRight() 0.051s passed
testSuccTacletWithoutIf() 0.054s passed
testTacletVariableCollector() 0.053s passed
testTacletWithIf() 0.050s passed

Standard output

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