TestApplyTaclet

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

tests
0

failures
0

ignored
3.893s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.257s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.067s passed
testAddExistingFormulaTwoInAntec2() 0.056s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.059s passed
testAddingRule() 0.070s passed
testAntecTacletWithoutIf() 0.064s passed
testBugBrokenApply() 0.059s passed
testBugEmptyBlock() 0.104s passed
testBugID176() 0.066s passed
testBugID177() 0.055s passed
testBugID188() 0.055s passed
testCatchList() 0.986s passed
testCompleteContextAddBug() 0.059s passed
testContextAdding() 0.067s passed
testIncompleteNoFindTacletApp() 0.132s passed
testIncompleteSuccTacletApp() 0.051s passed
testModalityLevel0() 0.331s passed
testModalityLevel1() 0.088s passed
testModalityLevel2() 0.142s passed
testNoFindTacletWithoutIf() 0.056s passed
testPrgTacletApp() 0.159s passed
testRemoveEmptyBlock() 0.058s passed
testRewriteTacletWithoutIf() 0.529s passed
testSuccTacletAllRight() 0.050s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.050s passed
testTacletWithIf() 0.062s passed

Standard output

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