TestApplyTaclet

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

tests
0

failures
0

ignored
5.901s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.299s passed
testAddExistingFormulaSucc() 0.074s passed
testAddExistingFormulaTwoInAntec() 0.102s passed
testAddExistingFormulaTwoInAntec2() 0.085s passed
testAddExistingFormulaTwoInSucc() 0.087s passed
testAddExistingFormulaTwoInSucc2() 0.081s passed
testAddingRule() 0.105s passed
testAntecTacletWithoutIf() 0.092s passed
testBugBrokenApply() 0.106s passed
testBugEmptyBlock() 0.339s passed
testBugID176() 0.080s passed
testBugID177() 0.083s passed
testBugID188() 0.082s passed
testCatchList() 1.381s passed
testCompleteContextAddBug() 0.089s passed
testContextAdding() 0.103s passed
testIncompleteNoFindTacletApp() 0.072s passed
testIncompleteSuccTacletApp() 0.797s passed
testModalityLevel0() 0.302s passed
testModalityLevel1() 0.135s passed
testModalityLevel2() 0.174s passed
testNoFindTacletWithoutIf() 0.072s passed
testPrgTacletApp() 0.604s passed
testRemoveEmptyBlock() 0.093s passed
testRewriteTacletWithoutIf() 0.099s passed
testSuccTacletAllRight() 0.089s passed
testSuccTacletWithoutIf() 0.090s passed
testTacletVariableCollector() 0.100s passed
testTacletWithIf() 0.086s passed

Standard output

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