TestApplyTaclet

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

tests
0

failures
0

ignored
4.727s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.241s passed
testAddExistingFormulaSucc() 0.074s passed
testAddExistingFormulaTwoInAntec() 0.071s passed
testAddExistingFormulaTwoInAntec2() 0.064s passed
testAddExistingFormulaTwoInSucc() 0.069s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.068s passed
testAntecTacletWithoutIf() 0.072s passed
testBugBrokenApply() 0.071s passed
testBugEmptyBlock() 0.203s passed
testBugID176() 0.064s passed
testBugID177() 0.067s passed
testBugID188() 0.064s passed
testCatchList() 1.140s passed
testCompleteContextAddBug() 0.068s passed
testContextAdding() 0.182s passed
testIncompleteNoFindTacletApp() 0.069s passed
testIncompleteSuccTacletApp() 0.069s passed
testModalityLevel0() 0.075s passed
testModalityLevel1() 0.854s passed
testModalityLevel2() 0.419s passed
testNoFindTacletWithoutIf() 0.070s passed
testPrgTacletApp() 0.181s passed
testRemoveEmptyBlock() 0.066s passed
testRewriteTacletWithoutIf() 0.065s passed
testSuccTacletAllRight() 0.066s passed
testSuccTacletWithoutIf() 0.068s passed
testTacletVariableCollector() 0.072s passed
testTacletWithIf() 0.068s passed

Standard output

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