TestApplyTaclet

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

tests
0

failures
0

ignored
2.721s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.060s passed
testAddExistingFormulaSucc() 0.060s passed
testAddExistingFormulaTwoInAntec() 0.071s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.059s passed
testAddExistingFormulaTwoInSucc2() 0.055s passed
testAddingRule() 0.060s passed
testAntecTacletWithoutIf() 0.063s passed
testBugBrokenApply() 0.066s passed
testBugEmptyBlock() 0.060s passed
testBugID176() 0.063s passed
testBugID177() 0.057s passed
testBugID188() 0.059s passed
testCatchList() 0.994s passed
testCompleteContextAddBug() 0.061s passed
testContextAdding() 0.059s passed
testIncompleteNoFindTacletApp() 0.058s passed
testIncompleteSuccTacletApp() 0.060s passed
testModalityLevel0() 0.063s passed
testModalityLevel1() 0.086s passed
testModalityLevel2() 0.063s passed
testNoFindTacletWithoutIf() 0.061s passed
testPrgTacletApp() 0.060s passed
testRemoveEmptyBlock() 0.059s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.057s passed
testSuccTacletWithoutIf() 0.060s passed
testTacletVariableCollector() 0.075s passed
testTacletWithIf() 0.058s passed

Standard output

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