TestApplyTaclet

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

tests
0

failures
0

ignored
4.694s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.178s passed
testAddExistingFormulaSucc() 0.090s passed
testAddExistingFormulaTwoInAntec() 0.074s passed
testAddExistingFormulaTwoInAntec2() 0.071s passed
testAddExistingFormulaTwoInSucc() 0.076s passed
testAddExistingFormulaTwoInSucc2() 0.071s passed
testAddingRule() 1.408s passed
testAntecTacletWithoutIf() 0.075s passed
testBugBrokenApply() 0.076s passed
testBugEmptyBlock() 0.079s passed
testBugID176() 0.076s passed
testBugID177() 0.065s passed
testBugID188() 0.071s passed
testCatchList() 1.134s passed
testCompleteContextAddBug() 0.072s passed
testContextAdding() 0.072s passed
testIncompleteNoFindTacletApp() 0.072s passed
testIncompleteSuccTacletApp() 0.067s passed
testModalityLevel0() 0.070s passed
testModalityLevel1() 0.069s passed
testModalityLevel2() 0.070s passed
testNoFindTacletWithoutIf() 0.071s passed
testPrgTacletApp() 0.073s passed
testRemoveEmptyBlock() 0.070s passed
testRewriteTacletWithoutIf() 0.156s passed
testSuccTacletAllRight() 0.075s passed
testSuccTacletWithoutIf() 0.074s passed
testTacletVariableCollector() 0.066s passed
testTacletWithIf() 0.073s passed

Standard output

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