TestApplyTaclet

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

tests
0

failures
0

ignored
5.038s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 1.396s passed
testAddExistingFormulaSucc() 0.100s passed
testAddExistingFormulaTwoInAntec() 0.083s passed
testAddExistingFormulaTwoInAntec2() 0.064s passed
testAddExistingFormulaTwoInSucc() 0.067s passed
testAddExistingFormulaTwoInSucc2() 0.068s passed
testAddingRule() 0.070s passed
testAntecTacletWithoutIf() 0.070s passed
testBugBrokenApply() 0.076s passed
testBugEmptyBlock() 0.070s passed
testBugID176() 0.069s passed
testBugID177() 0.071s passed
testBugID188() 0.068s passed
testCatchList() 1.295s passed
testCompleteContextAddBug() 0.074s passed
testContextAdding() 0.078s passed
testIncompleteNoFindTacletApp() 0.068s passed
testIncompleteSuccTacletApp() 0.067s passed
testModalityLevel0() 0.069s passed
testModalityLevel1() 0.072s passed
testModalityLevel2() 0.071s passed
testNoFindTacletWithoutIf() 0.068s passed
testPrgTacletApp() 0.483s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.066s passed
testSuccTacletWithoutIf() 0.070s passed
testTacletVariableCollector() 0.077s passed
testTacletWithIf() 0.075s passed

Standard output

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