TestApplyTaclet

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

tests
0

failures
0

ignored
5.044s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.215s passed
testAddExistingFormulaSucc() 0.155s passed
testAddExistingFormulaTwoInAntec() 0.088s passed
testAddExistingFormulaTwoInAntec2() 0.078s passed
testAddExistingFormulaTwoInSucc() 0.086s passed
testAddExistingFormulaTwoInSucc2() 0.078s passed
testAddingRule() 0.099s passed
testAntecTacletWithoutIf() 0.083s passed
testBugBrokenApply() 0.082s passed
testBugEmptyBlock() 0.088s passed
testBugID176() 0.200s passed
testBugID177() 0.081s passed
testBugID188() 0.146s passed
testCatchList() 1.899s passed
testCompleteContextAddBug() 0.395s passed
testContextAdding() 0.087s passed
testIncompleteNoFindTacletApp() 0.069s passed
testIncompleteSuccTacletApp() 0.072s passed
testModalityLevel0() 0.168s passed
testModalityLevel1() 0.084s passed
testModalityLevel2() 0.109s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.074s passed
testRemoveEmptyBlock() 0.080s passed
testRewriteTacletWithoutIf() 0.158s passed
testSuccTacletAllRight() 0.064s passed
testSuccTacletWithoutIf() 0.095s passed
testTacletVariableCollector() 0.071s passed
testTacletWithIf() 0.074s passed

Standard output

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