TestApplyTaclet

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

tests
0

failures
0

ignored
4.382s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.064s passed
testAddExistingFormulaSucc() 0.073s passed
testAddExistingFormulaTwoInAntec() 0.076s passed
testAddExistingFormulaTwoInAntec2() 0.077s passed
testAddExistingFormulaTwoInSucc() 0.064s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 0.068s passed
testAntecTacletWithoutIf() 0.072s passed
testBugBrokenApply() 0.077s passed
testBugEmptyBlock() 0.065s passed
testBugID176() 0.090s passed
testBugID177() 0.066s passed
testBugID188() 0.067s passed
testCatchList() 1.745s passed
testCompleteContextAddBug() 0.072s passed
testContextAdding() 0.197s passed
testIncompleteNoFindTacletApp() 0.196s passed
testIncompleteSuccTacletApp() 0.064s passed
testModalityLevel0() 0.064s passed
testModalityLevel1() 0.069s passed
testModalityLevel2() 0.065s passed
testNoFindTacletWithoutIf() 0.063s passed
testPrgTacletApp() 0.064s passed
testRemoveEmptyBlock() 0.317s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.064s passed
testSuccTacletWithoutIf() 0.249s passed
testTacletVariableCollector() 0.068s passed
testTacletWithIf() 0.079s passed

Standard output

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