TestApplyTaclet

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

tests
0

failures
0

ignored
4.270s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.077s passed
testAddExistingFormulaSucc() 0.066s passed
testAddExistingFormulaTwoInAntec() 0.061s passed
testAddExistingFormulaTwoInAntec2() 0.066s passed
testAddExistingFormulaTwoInSucc() 0.060s passed
testAddExistingFormulaTwoInSucc2() 0.057s passed
testAddingRule() 0.158s passed
testAntecTacletWithoutIf() 0.064s passed
testBugBrokenApply() 0.064s passed
testBugEmptyBlock() 0.120s passed
testBugID176() 0.060s passed
testBugID177() 0.061s passed
testBugID188() 0.063s passed
testCatchList() 1.062s passed
testCompleteContextAddBug() 0.065s passed
testContextAdding() 0.181s passed
testIncompleteNoFindTacletApp() 0.857s passed
testIncompleteSuccTacletApp() 0.069s passed
testModalityLevel0() 0.305s passed
testModalityLevel1() 0.103s passed
testModalityLevel2() 0.115s passed
testNoFindTacletWithoutIf() 0.104s passed
testPrgTacletApp() 0.067s passed
testRemoveEmptyBlock() 0.061s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.059s passed
testSuccTacletWithoutIf() 0.058s passed
testTacletVariableCollector() 0.070s passed
testTacletWithIf() 0.059s passed

Standard output

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