TestApplyTaclet

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

tests
0

failures
0

ignored
6.200s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.440s passed
testAddExistingFormulaSucc() 0.189s passed
testAddExistingFormulaTwoInAntec() 0.100s passed
testAddExistingFormulaTwoInAntec2() 0.080s passed
testAddExistingFormulaTwoInSucc() 0.082s passed
testAddExistingFormulaTwoInSucc2() 0.080s passed
testAddingRule() 0.100s passed
testAntecTacletWithoutIf() 0.097s passed
testBugBrokenApply() 0.086s passed
testBugEmptyBlock() 0.102s passed
testBugID176() 0.438s passed
testBugID177() 0.071s passed
testBugID188() 0.072s passed
testCatchList() 1.809s passed
testCompleteContextAddBug() 0.094s passed
testContextAdding() 0.098s passed
testIncompleteNoFindTacletApp() 0.179s passed
testIncompleteSuccTacletApp() 0.161s passed
testModalityLevel0() 0.258s passed
testModalityLevel1() 0.247s passed
testModalityLevel2() 0.093s passed
testNoFindTacletWithoutIf() 0.116s passed
testPrgTacletApp() 0.078s passed
testRemoveEmptyBlock() 0.088s passed
testRewriteTacletWithoutIf() 0.263s passed
testSuccTacletAllRight() 0.386s passed
testSuccTacletWithoutIf() 0.068s passed
testTacletVariableCollector() 0.245s passed
testTacletWithIf() 0.080s passed

Standard output

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