TestApplyTaclet

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

tests
0

failures
0

ignored
5.368s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.348s passed
testAddExistingFormulaSucc() 0.185s passed
testAddExistingFormulaTwoInAntec() 0.083s passed
testAddExistingFormulaTwoInAntec2() 0.076s passed
testAddExistingFormulaTwoInSucc() 0.071s passed
testAddExistingFormulaTwoInSucc2() 0.074s passed
testAddingRule() 0.083s passed
testAntecTacletWithoutIf() 0.074s passed
testBugBrokenApply() 0.082s passed
testBugEmptyBlock() 0.080s passed
testBugID176() 0.078s passed
testBugID177() 0.079s passed
testBugID188() 0.077s passed
testCatchList() 1.752s passed
testCompleteContextAddBug() 0.088s passed
testContextAdding() 0.157s passed
testIncompleteNoFindTacletApp() 0.074s passed
testIncompleteSuccTacletApp() 0.697s passed
testModalityLevel0() 0.223s passed
testModalityLevel1() 0.088s passed
testModalityLevel2() 0.109s passed
testNoFindTacletWithoutIf() 0.151s passed
testPrgTacletApp() 0.186s passed
testRemoveEmptyBlock() 0.077s passed
testRewriteTacletWithoutIf() 0.071s passed
testSuccTacletAllRight() 0.073s passed
testSuccTacletWithoutIf() 0.079s passed
testTacletVariableCollector() 0.080s passed
testTacletWithIf() 0.073s passed

Standard output

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