TestApplyTaclet

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

tests
0

failures
0

ignored
3.869s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.053s passed
testAddExistingFormulaSucc() 0.045s passed
testAddExistingFormulaTwoInAntec() 0.053s passed
testAddExistingFormulaTwoInAntec2() 0.057s passed
testAddExistingFormulaTwoInSucc() 0.369s passed
testAddExistingFormulaTwoInSucc2() 0.049s passed
testAddingRule() 0.107s passed
testAntecTacletWithoutIf() 0.057s passed
testBugBrokenApply() 0.052s passed
testBugEmptyBlock() 0.167s passed
testBugID176() 0.051s passed
testBugID177() 0.053s passed
testBugID188() 0.056s passed
testCatchList() 1.145s passed
testCompleteContextAddBug() 0.051s passed
testContextAdding() 0.115s passed
testIncompleteNoFindTacletApp() 0.098s passed
testIncompleteSuccTacletApp() 0.047s passed
testModalityLevel0() 0.089s passed
testModalityLevel1() 0.212s passed
testModalityLevel2() 0.105s passed
testNoFindTacletWithoutIf() 0.072s passed
testPrgTacletApp() 0.103s passed
testRemoveEmptyBlock() 0.052s passed
testRewriteTacletWithoutIf() 0.361s passed
testSuccTacletAllRight() 0.080s passed
testSuccTacletWithoutIf() 0.052s passed
testTacletVariableCollector() 0.061s passed
testTacletWithIf() 0.057s passed

Standard output

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