TestApplyTaclet

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

tests
0

failures
0

ignored
3.683s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.071s passed
testAddExistingFormulaSucc() 0.070s passed
testAddExistingFormulaTwoInAntec() 0.080s passed
testAddExistingFormulaTwoInAntec2() 0.077s passed
testAddExistingFormulaTwoInSucc() 0.075s passed
testAddExistingFormulaTwoInSucc2() 0.073s passed
testAddingRule() 0.071s passed
testAntecTacletWithoutIf() 0.074s passed
testBugBrokenApply() 0.070s passed
testBugEmptyBlock() 0.071s passed
testBugID176() 0.072s passed
testBugID177() 0.070s passed
testBugID188() 0.074s passed
testCatchList() 1.626s passed
testCompleteContextAddBug() 0.072s passed
testContextAdding() 0.074s passed
testIncompleteNoFindTacletApp() 0.062s passed
testIncompleteSuccTacletApp() 0.079s passed
testModalityLevel0() 0.080s passed
testModalityLevel1() 0.076s passed
testModalityLevel2() 0.099s passed
testNoFindTacletWithoutIf() 0.076s passed
testPrgTacletApp() 0.070s passed
testRemoveEmptyBlock() 0.072s passed
testRewriteTacletWithoutIf() 0.066s passed
testSuccTacletAllRight() 0.066s passed
testSuccTacletWithoutIf() 0.072s passed
testTacletVariableCollector() 0.075s passed
testTacletWithIf() 0.070s passed

Standard output

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