TestApplyTaclet

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

tests
0

failures
0

ignored
3.157s

duration
100%

successful

Tests

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

Standard output

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