TestApplyTaclet

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

tests
0

failures
0

ignored
3.548s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.189s passed
testAddExistingFormulaSucc() 0.374s passed
testAddExistingFormulaTwoInAntec() 0.065s passed
testAddExistingFormulaTwoInAntec2() 0.058s passed
testAddExistingFormulaTwoInSucc() 0.227s passed
testAddExistingFormulaTwoInSucc2() 0.050s passed
testAddingRule() 0.102s passed
testAntecTacletWithoutIf() 0.054s passed
testBugBrokenApply() 0.056s passed
testBugEmptyBlock() 0.096s passed
testBugID176() 0.049s passed
testBugID177() 0.048s passed
testBugID188() 0.047s passed
testCatchList() 1.095s passed
testCompleteContextAddBug() 0.052s passed
testContextAdding() 0.091s passed
testIncompleteNoFindTacletApp() 0.089s passed
testIncompleteSuccTacletApp() 0.047s passed
testModalityLevel0() 0.046s passed
testModalityLevel1() 0.087s passed
testModalityLevel2() 0.177s passed
testNoFindTacletWithoutIf() 0.066s passed
testPrgTacletApp() 0.079s passed
testRemoveEmptyBlock() 0.050s passed
testRewriteTacletWithoutIf() 0.048s passed
testSuccTacletAllRight() 0.052s passed
testSuccTacletWithoutIf() 0.054s passed
testTacletVariableCollector() 0.045s passed
testTacletWithIf() 0.055s passed

Standard output

484149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 3 ms 
484149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  /home/runner/work/key/key/key.core/src/test/resources/testcase/testrules.key:9#1 
484149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
484149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
484177     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 27ms