TestApplyTaclet

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

tests
0

failures
0

ignored
2.658s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.051s passed
testAddExistingFormulaSucc() 0.047s passed
testAddExistingFormulaTwoInAntec() 0.055s passed
testAddExistingFormulaTwoInAntec2() 0.057s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.050s passed
testAddingRule() 0.055s passed
testAntecTacletWithoutIf() 0.062s passed
testBugBrokenApply() 0.051s passed
testBugEmptyBlock() 0.048s passed
testBugID176() 0.049s passed
testBugID177() 0.050s passed
testBugID188() 0.049s passed
testCatchList() 1.196s passed
testCompleteContextAddBug() 0.050s passed
testContextAdding() 0.054s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.049s passed
testModalityLevel0() 0.050s passed
testModalityLevel1() 0.051s passed
testModalityLevel2() 0.053s passed
testNoFindTacletWithoutIf() 0.050s passed
testPrgTacletApp() 0.052s passed
testRemoveEmptyBlock() 0.051s passed
testRewriteTacletWithoutIf() 0.063s passed
testSuccTacletAllRight() 0.053s passed
testSuccTacletWithoutIf() 0.052s passed
testTacletVariableCollector() 0.057s passed
testTacletWithIf() 0.049s passed

Standard output

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