TestApplyTaclet

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

tests
0

failures
0

ignored
4.203s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.077s passed
testAddExistingFormulaSucc() 0.061s passed
testAddExistingFormulaTwoInAntec() 0.069s passed
testAddExistingFormulaTwoInAntec2() 0.064s passed
testAddExistingFormulaTwoInSucc() 0.060s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 0.076s passed
testAntecTacletWithoutIf() 0.069s passed
testBugBrokenApply() 0.066s passed
testBugEmptyBlock() 0.096s passed
testBugID176() 0.333s passed
testBugID177() 0.063s passed
testBugID188() 0.175s passed
testCatchList() 1.735s passed
testCompleteContextAddBug() 0.069s passed
testContextAdding() 0.073s passed
testIncompleteNoFindTacletApp() 0.130s passed
testIncompleteSuccTacletApp() 0.059s passed
testModalityLevel0() 0.061s passed
testModalityLevel1() 0.135s passed
testModalityLevel2() 0.074s passed
testNoFindTacletWithoutIf() 0.059s passed
testPrgTacletApp() 0.077s passed
testRemoveEmptyBlock() 0.071s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.059s passed
testSuccTacletWithoutIf() 0.062s passed
testTacletVariableCollector() 0.136s passed
testTacletWithIf() 0.065s passed

Standard output

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