TestApplyTaclet

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

tests
0

failures
0

ignored
3.168s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.067s passed
testAddExistingFormulaSucc() 0.084s passed
testAddExistingFormulaTwoInAntec() 0.069s passed
testAddExistingFormulaTwoInAntec2() 0.062s passed
testAddExistingFormulaTwoInSucc() 0.074s passed
testAddExistingFormulaTwoInSucc2() 0.062s passed
testAddingRule() 0.070s passed
testAntecTacletWithoutIf() 0.064s passed
testBugBrokenApply() 0.093s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.062s passed
testBugID177() 0.068s passed
testBugID188() 0.062s passed
testCatchList() 1.238s passed
testCompleteContextAddBug() 0.072s passed
testContextAdding() 0.070s passed
testIncompleteNoFindTacletApp() 0.069s passed
testIncompleteSuccTacletApp() 0.064s passed
testModalityLevel0() 0.066s passed
testModalityLevel1() 0.066s passed
testModalityLevel2() 0.071s passed
testNoFindTacletWithoutIf() 0.067s passed
testPrgTacletApp() 0.067s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.062s passed
testSuccTacletAllRight() 0.067s passed
testSuccTacletWithoutIf() 0.068s passed
testTacletVariableCollector() 0.074s passed
testTacletWithIf() 0.064s passed

Standard output

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