TestApplyTaclet

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

tests
0

failures
0

ignored
2.607s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.043s passed
testAddExistingFormulaSucc() 0.035s passed
testAddExistingFormulaTwoInAntec() 0.034s passed
testAddExistingFormulaTwoInAntec2() 0.034s passed
testAddExistingFormulaTwoInSucc() 0.034s passed
testAddExistingFormulaTwoInSucc2() 0.035s passed
testAddingRule() 0.726s passed
testAntecTacletWithoutIf() 0.036s passed
testBugBrokenApply() 0.034s passed
testBugEmptyBlock() 0.050s passed
testBugID176() 0.033s passed
testBugID177() 0.034s passed
testBugID188() 0.034s passed
testCatchList() 0.896s passed
testCompleteContextAddBug() 0.034s passed
testContextAdding() 0.035s passed
testIncompleteNoFindTacletApp() 0.033s passed
testIncompleteSuccTacletApp() 0.034s passed
testModalityLevel0() 0.034s passed
testModalityLevel1() 0.034s passed
testModalityLevel2() 0.035s passed
testNoFindTacletWithoutIf() 0.034s passed
testPrgTacletApp() 0.070s passed
testRemoveEmptyBlock() 0.034s passed
testRewriteTacletWithoutIf() 0.034s passed
testSuccTacletAllRight() 0.034s passed
testSuccTacletWithoutIf() 0.034s passed
testTacletVariableCollector() 0.036s passed
testTacletWithIf() 0.034s passed

Standard output

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