TestApplyTaclet

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

tests
0

failures
0

ignored
2.372s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.047s passed
testAddExistingFormulaSucc() 0.046s passed
testAddExistingFormulaTwoInAntec() 0.047s passed
testAddExistingFormulaTwoInAntec2() 0.047s passed
testAddExistingFormulaTwoInSucc() 0.047s passed
testAddExistingFormulaTwoInSucc2() 0.046s passed
testAddingRule() 0.047s passed
testAntecTacletWithoutIf() 0.046s passed
testBugBrokenApply() 0.056s passed
testBugEmptyBlock() 0.047s passed
testBugID176() 0.050s passed
testBugID177() 0.046s passed
testBugID188() 0.047s passed
testCatchList() 1.048s passed
testCompleteContextAddBug() 0.052s passed
testContextAdding() 0.048s passed
testIncompleteNoFindTacletApp() 0.047s passed
testIncompleteSuccTacletApp() 0.046s passed
testModalityLevel0() 0.046s passed
testModalityLevel1() 0.048s passed
testModalityLevel2() 0.048s passed
testNoFindTacletWithoutIf() 0.046s passed
testPrgTacletApp() 0.048s passed
testRemoveEmptyBlock() 0.046s passed
testRewriteTacletWithoutIf() 0.045s passed
testSuccTacletAllRight() 0.045s passed
testSuccTacletWithoutIf() 0.045s passed
testTacletVariableCollector() 0.048s passed
testTacletWithIf() 0.047s passed

Standard output

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