TestApplyTaclet

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

tests
0

failures
0

ignored
4.372s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.316s passed
testAddExistingFormulaSucc() 0.523s passed
testAddExistingFormulaTwoInAntec() 0.111s passed
testAddExistingFormulaTwoInAntec2() 0.074s passed
testAddExistingFormulaTwoInSucc() 0.231s passed
testAddExistingFormulaTwoInSucc2() 0.060s passed
testAddingRule() 0.069s passed
testAntecTacletWithoutIf() 0.065s passed
testBugBrokenApply() 0.069s passed
testBugEmptyBlock() 0.064s passed
testBugID176() 0.085s passed
testBugID177() 0.059s passed
testBugID188() 0.058s passed
testCatchList() 1.083s passed
testCompleteContextAddBug() 0.063s passed
testContextAdding() 0.229s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.062s passed
testModalityLevel0() 0.053s passed
testModalityLevel1() 0.056s passed
testModalityLevel2() 0.209s passed
testNoFindTacletWithoutIf() 0.042s passed
testPrgTacletApp() 0.370s passed
testRemoveEmptyBlock() 0.059s passed
testRewriteTacletWithoutIf() 0.060s passed
testSuccTacletAllRight() 0.060s passed
testSuccTacletWithoutIf() 0.061s passed
testTacletVariableCollector() 0.069s passed
testTacletWithIf() 0.058s passed

Standard output

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