TestApplyTaclet

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

tests
0

failures
0

ignored
2.893s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.064s passed
testAddExistingFormulaSucc() 0.065s passed
testAddExistingFormulaTwoInAntec() 0.064s passed
testAddExistingFormulaTwoInAntec2() 0.063s passed
testAddExistingFormulaTwoInSucc() 0.061s passed
testAddExistingFormulaTwoInSucc2() 0.058s passed
testAddingRule() 0.062s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.063s passed
testBugID176() 0.062s passed
testBugID177() 0.065s passed
testBugID188() 0.062s passed
testCatchList() 1.100s passed
testCompleteContextAddBug() 0.065s passed
testContextAdding() 0.062s passed
testIncompleteNoFindTacletApp() 0.083s passed
testIncompleteSuccTacletApp() 0.059s passed
testModalityLevel0() 0.065s passed
testModalityLevel1() 0.060s passed
testModalityLevel2() 0.061s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.065s passed
testRemoveEmptyBlock() 0.060s passed
testRewriteTacletWithoutIf() 0.063s passed
testSuccTacletAllRight() 0.082s passed
testSuccTacletWithoutIf() 0.063s passed
testTacletVariableCollector() 0.065s passed
testTacletWithIf() 0.058s passed

Standard output

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