TestApplyTaclet

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

tests
0

failures
0

ignored
3.633s

duration
100%

successful

Tests

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

Standard output

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