TestApplyTaclet

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

tests
0

failures
0

ignored
3.591s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.050s passed
testAddExistingFormulaSucc() 0.051s passed
testAddExistingFormulaTwoInAntec() 0.059s passed
testAddExistingFormulaTwoInAntec2() 0.055s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.054s passed
testAddingRule() 0.053s passed
testAntecTacletWithoutIf() 0.059s passed
testBugBrokenApply() 0.056s passed
testBugEmptyBlock() 0.049s passed
testBugID176() 0.050s passed
testBugID177() 0.050s passed
testBugID188() 0.052s passed
testCatchList() 1.546s passed
testCompleteContextAddBug() 0.282s passed
testContextAdding() 0.116s passed
testIncompleteNoFindTacletApp() 0.049s passed
testIncompleteSuccTacletApp() 0.049s passed
testModalityLevel0() 0.050s passed
testModalityLevel1() 0.340s passed
testModalityLevel2() 0.051s passed
testNoFindTacletWithoutIf() 0.050s passed
testPrgTacletApp() 0.049s passed
testRemoveEmptyBlock() 0.060s passed
testRewriteTacletWithoutIf() 0.050s passed
testSuccTacletAllRight() 0.049s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.052s passed
testTacletWithIf() 0.055s passed

Standard output

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