TestApplyTaclet

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

tests
0

failures
0

ignored
3.752s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.068s passed
testAddExistingFormulaSucc() 0.080s passed
testAddExistingFormulaTwoInAntec() 0.079s passed
testAddExistingFormulaTwoInAntec2() 0.066s passed
testAddExistingFormulaTwoInSucc() 0.062s passed
testAddExistingFormulaTwoInSucc2() 0.066s passed
testAddingRule() 0.067s passed
testAntecTacletWithoutIf() 0.070s passed
testBugBrokenApply() 0.066s passed
testBugEmptyBlock() 0.067s passed
testBugID176() 0.065s passed
testBugID177() 0.064s passed
testBugID188() 0.067s passed
testCatchList() 1.819s passed
testCompleteContextAddBug() 0.072s passed
testContextAdding() 0.072s passed
testIncompleteNoFindTacletApp() 0.070s passed
testIncompleteSuccTacletApp() 0.065s passed
testModalityLevel0() 0.068s passed
testModalityLevel1() 0.065s passed
testModalityLevel2() 0.068s passed
testNoFindTacletWithoutIf() 0.091s passed
testPrgTacletApp() 0.071s passed
testRemoveEmptyBlock() 0.065s passed
testRewriteTacletWithoutIf() 0.064s passed
testSuccTacletAllRight() 0.074s passed
testSuccTacletWithoutIf() 0.067s passed
testTacletVariableCollector() 0.071s passed
testTacletWithIf() 0.063s passed

Standard output

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