TestApplyTaclet

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

tests
0

failures
0

ignored
4.571s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.191s passed
testAddExistingFormulaSucc() 0.068s passed
testAddExistingFormulaTwoInAntec() 0.088s passed
testAddExistingFormulaTwoInAntec2() 0.082s passed
testAddExistingFormulaTwoInSucc() 0.148s passed
testAddExistingFormulaTwoInSucc2() 0.079s passed
testAddingRule() 0.075s passed
testAntecTacletWithoutIf() 0.077s passed
testBugBrokenApply() 0.081s passed
testBugEmptyBlock() 0.074s passed
testBugID176() 0.076s passed
testBugID177() 0.076s passed
testBugID188() 0.082s passed
testCatchList() 1.559s passed
testCompleteContextAddBug() 0.084s passed
testContextAdding() 0.072s passed
testIncompleteNoFindTacletApp() 0.067s passed
testIncompleteSuccTacletApp() 0.066s passed
testModalityLevel0() 0.064s passed
testModalityLevel1() 0.184s passed
testModalityLevel2() 0.067s passed
testNoFindTacletWithoutIf() 0.069s passed
testPrgTacletApp() 0.115s passed
testRemoveEmptyBlock() 0.076s passed
testRewriteTacletWithoutIf() 0.070s passed
testSuccTacletAllRight() 0.063s passed
testSuccTacletWithoutIf() 0.670s passed
testTacletVariableCollector() 0.070s passed
testTacletWithIf() 0.078s passed

Standard output

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