TestApplyTaclet

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

tests
0

failures
0

ignored
6.244s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.482s passed
testAddExistingFormulaSucc() 0.080s passed
testAddExistingFormulaTwoInAntec() 0.100s passed
testAddExistingFormulaTwoInAntec2() 0.087s passed
testAddExistingFormulaTwoInSucc() 0.087s passed
testAddExistingFormulaTwoInSucc2() 0.089s passed
testAddingRule() 0.255s passed
testAntecTacletWithoutIf() 0.090s passed
testBugBrokenApply() 0.090s passed
testBugEmptyBlock() 0.095s passed
testBugID176() 0.095s passed
testBugID177() 0.091s passed
testBugID188() 0.096s passed
testCatchList() 2.023s passed
testCompleteContextAddBug() 0.097s passed
testContextAdding() 0.100s passed
testIncompleteNoFindTacletApp() 0.185s passed
testIncompleteSuccTacletApp() 0.083s passed
testModalityLevel0() 0.217s passed
testModalityLevel1() 0.138s passed
testModalityLevel2() 0.193s passed
testNoFindTacletWithoutIf() 0.086s passed
testPrgTacletApp() 0.206s passed
testRemoveEmptyBlock() 0.092s passed
testRewriteTacletWithoutIf() 0.085s passed
testSuccTacletAllRight() 0.735s passed
testSuccTacletWithoutIf() 0.089s passed
testTacletVariableCollector() 0.088s passed
testTacletWithIf() 0.090s passed

Standard output

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