TestApplyTaclet

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

tests
0

failures
0

ignored
3.255s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.069s passed
testAddExistingFormulaSucc() 0.083s passed
testAddExistingFormulaTwoInAntec() 0.080s passed
testAddExistingFormulaTwoInAntec2() 0.080s passed
testAddExistingFormulaTwoInSucc() 0.077s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.060s passed
testAntecTacletWithoutIf() 0.079s passed
testBugBrokenApply() 0.088s passed
testBugEmptyBlock() 0.098s passed
testBugID176() 0.077s passed
testBugID177() 0.065s passed
testBugID188() 0.086s passed
testCatchList() 1.191s passed
testCompleteContextAddBug() 0.068s passed
testContextAdding() 0.070s passed
testIncompleteNoFindTacletApp() 0.068s passed
testIncompleteSuccTacletApp() 0.064s passed
testModalityLevel0() 0.069s passed
testModalityLevel1() 0.092s passed
testModalityLevel2() 0.065s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.074s passed
testRemoveEmptyBlock() 0.078s passed
testRewriteTacletWithoutIf() 0.063s passed
testSuccTacletAllRight() 0.062s passed
testSuccTacletWithoutIf() 0.065s passed
testTacletVariableCollector() 0.064s passed
testTacletWithIf() 0.087s passed

Standard output

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