TestApplyTaclet

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

tests
0

failures
0

ignored
5.424s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.086s passed
testAddExistingFormulaSucc() 0.078s passed
testAddExistingFormulaTwoInAntec() 0.076s passed
testAddExistingFormulaTwoInAntec2() 0.086s passed
testAddExistingFormulaTwoInSucc() 0.077s passed
testAddExistingFormulaTwoInSucc2() 0.080s passed
testAddingRule() 0.090s passed
testAntecTacletWithoutIf() 0.081s passed
testBugBrokenApply() 0.076s passed
testBugEmptyBlock() 0.285s passed
testBugID176() 0.072s passed
testBugID177() 0.074s passed
testBugID188() 0.070s passed
testCatchList() 1.373s passed
testCompleteContextAddBug() 0.081s passed
testContextAdding() 0.197s passed
testIncompleteNoFindTacletApp() 0.071s passed
testIncompleteSuccTacletApp() 0.077s passed
testModalityLevel0() 0.090s passed
testModalityLevel1() 0.089s passed
testModalityLevel2() 1.424s passed
testNoFindTacletWithoutIf() 0.101s passed
testPrgTacletApp() 0.217s passed
testRemoveEmptyBlock() 0.074s passed
testRewriteTacletWithoutIf() 0.068s passed
testSuccTacletAllRight() 0.090s passed
testSuccTacletWithoutIf() 0.069s passed
testTacletVariableCollector() 0.098s passed
testTacletWithIf() 0.074s passed

Standard output

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