TestApplyTaclet

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

tests
0

failures
0

ignored
3.395s

duration
100%

successful

Tests

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

Standard output

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