TestApplyTaclet

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

tests
0

failures
0

ignored
3.524s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.275s passed
testAddExistingFormulaSucc() 0.066s passed
testAddExistingFormulaTwoInAntec() 0.066s passed
testAddExistingFormulaTwoInAntec2() 0.058s passed
testAddExistingFormulaTwoInSucc() 0.705s passed
testAddExistingFormulaTwoInSucc2() 0.061s passed
testAddingRule() 0.056s passed
testAntecTacletWithoutIf() 0.065s passed
testBugBrokenApply() 0.061s passed
testBugEmptyBlock() 0.063s passed
testBugID176() 0.055s passed
testBugID177() 0.055s passed
testBugID188() 0.056s passed
testCatchList() 0.950s passed
testCompleteContextAddBug() 0.059s passed
testContextAdding() 0.137s passed
testIncompleteNoFindTacletApp() 0.048s passed
testIncompleteSuccTacletApp() 0.078s passed
testModalityLevel0() 0.049s passed
testModalityLevel1() 0.052s passed
testModalityLevel2() 0.050s passed
testNoFindTacletWithoutIf() 0.048s passed
testPrgTacletApp() 0.064s passed
testRemoveEmptyBlock() 0.057s passed
testRewriteTacletWithoutIf() 0.057s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.058s passed
testTacletVariableCollector() 0.058s passed
testTacletWithIf() 0.056s passed

Standard output

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