TestApplyTaclet

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

tests
0

failures
0

ignored
2.823s

duration
100%

successful

Tests

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

Standard output

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