TestApplyTaclet

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

tests
0

failures
0

ignored
4.365s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.259s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.079s passed
testAddExistingFormulaTwoInAntec2() 0.062s passed
testAddExistingFormulaTwoInSucc() 0.272s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.063s passed
testBugBrokenApply() 0.068s passed
testBugEmptyBlock() 0.130s passed
testBugID176() 0.069s passed
testBugID177() 0.062s passed
testBugID188() 0.063s passed
testCatchList() 1.304s passed
testCompleteContextAddBug() 0.067s passed
testContextAdding() 0.061s passed
testIncompleteNoFindTacletApp() 0.058s passed
testIncompleteSuccTacletApp() 0.056s passed
testModalityLevel0() 0.346s passed
testModalityLevel1() 0.156s passed
testModalityLevel2() 0.066s passed
testNoFindTacletWithoutIf() 0.058s passed
testPrgTacletApp() 0.080s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.061s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.062s passed
testTacletVariableCollector() 0.487s passed
testTacletWithIf() 0.063s passed

Standard output

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