TestApplyTaclet

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

tests
0

failures
0

ignored
3.550s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.086s passed
testAddExistingFormulaSucc() 0.087s passed
testAddExistingFormulaTwoInAntec() 0.078s passed
testAddExistingFormulaTwoInAntec2() 0.076s passed
testAddExistingFormulaTwoInSucc() 0.077s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 0.082s passed
testAntecTacletWithoutIf() 0.078s passed
testBugBrokenApply() 0.080s passed
testBugEmptyBlock() 0.080s passed
testBugID176() 0.075s passed
testBugID177() 0.076s passed
testBugID188() 0.079s passed
testCatchList() 1.331s passed
testCompleteContextAddBug() 0.080s passed
testContextAdding() 0.082s passed
testIncompleteNoFindTacletApp() 0.081s passed
testIncompleteSuccTacletApp() 0.077s passed
testModalityLevel0() 0.079s passed
testModalityLevel1() 0.077s passed
testModalityLevel2() 0.081s passed
testNoFindTacletWithoutIf() 0.077s passed
testPrgTacletApp() 0.103s passed
testRemoveEmptyBlock() 0.075s passed
testRewriteTacletWithoutIf() 0.076s passed
testSuccTacletAllRight() 0.075s passed
testSuccTacletWithoutIf() 0.079s passed
testTacletVariableCollector() 0.075s passed
testTacletWithIf() 0.077s passed

Standard output

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