TestApplyTaclet

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

tests
0

failures
0

ignored
5.335s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.262s passed
testAddExistingFormulaSucc() 0.232s passed
testAddExistingFormulaTwoInAntec() 0.081s passed
testAddExistingFormulaTwoInAntec2() 0.076s passed
testAddExistingFormulaTwoInSucc() 0.156s passed
testAddExistingFormulaTwoInSucc2() 0.075s passed
testAddingRule() 0.156s passed
testAntecTacletWithoutIf() 0.073s passed
testBugBrokenApply() 0.067s passed
testBugEmptyBlock() 0.276s passed
testBugID176() 0.068s passed
testBugID177() 0.069s passed
testBugID188() 0.068s passed
testCatchList() 1.764s passed
testCompleteContextAddBug() 0.070s passed
testContextAdding() 0.076s passed
testIncompleteNoFindTacletApp() 0.068s passed
testIncompleteSuccTacletApp() 0.079s passed
testModalityLevel0() 0.270s passed
testModalityLevel1() 0.179s passed
testModalityLevel2() 0.068s passed
testNoFindTacletWithoutIf() 0.071s passed
testPrgTacletApp() 0.087s passed
testRemoveEmptyBlock() 0.067s passed
testRewriteTacletWithoutIf() 0.414s passed
testSuccTacletAllRight() 0.212s passed
testSuccTacletWithoutIf() 0.070s passed
testTacletVariableCollector() 0.110s passed
testTacletWithIf() 0.071s passed

Standard output

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