TestApplyTaclet

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

tests
0

failures
0

ignored
4.196s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.255s passed
testAddExistingFormulaSucc() 0.063s passed
testAddExistingFormulaTwoInAntec() 0.069s passed
testAddExistingFormulaTwoInAntec2() 0.071s passed
testAddExistingFormulaTwoInSucc() 0.061s passed
testAddExistingFormulaTwoInSucc2() 0.065s passed
testAddingRule() 0.070s passed
testAntecTacletWithoutIf() 0.066s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.181s passed
testBugID176() 0.061s passed
testBugID177() 0.060s passed
testBugID188() 0.061s passed
testCatchList() 1.126s passed
testCompleteContextAddBug() 0.066s passed
testContextAdding() 0.480s passed
testIncompleteNoFindTacletApp() 0.062s passed
testIncompleteSuccTacletApp() 0.063s passed
testModalityLevel0() 0.056s passed
testModalityLevel1() 0.061s passed
testModalityLevel2() 0.066s passed
testNoFindTacletWithoutIf() 0.281s passed
testPrgTacletApp() 0.098s passed
testRemoveEmptyBlock() 0.178s passed
testRewriteTacletWithoutIf() 0.060s passed
testSuccTacletAllRight() 0.084s passed
testSuccTacletWithoutIf() 0.061s passed
testTacletVariableCollector() 0.061s passed
testTacletWithIf() 0.243s passed

Standard output

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