TestApplyTaclet

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

tests
0

failures
0

ignored
3.692s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.078s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.069s passed
testAddExistingFormulaTwoInAntec2() 0.065s passed
testAddExistingFormulaTwoInSucc() 0.056s passed
testAddExistingFormulaTwoInSucc2() 0.067s passed
testAddingRule() 0.072s passed
testAntecTacletWithoutIf() 0.068s passed
testBugBrokenApply() 0.057s passed
testBugEmptyBlock() 0.061s passed
testBugID176() 0.051s passed
testBugID177() 0.057s passed
testBugID188() 0.061s passed
testCatchList() 1.232s passed
testCompleteContextAddBug() 0.054s passed
testContextAdding() 0.270s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.062s passed
testModalityLevel0() 0.056s passed
testModalityLevel1() 0.534s passed
testModalityLevel2() 0.099s passed
testNoFindTacletWithoutIf() 0.056s passed
testPrgTacletApp() 0.131s passed
testRemoveEmptyBlock() 0.060s passed
testRewriteTacletWithoutIf() 0.055s passed
testSuccTacletAllRight() 0.054s passed
testSuccTacletWithoutIf() 0.053s passed
testTacletVariableCollector() 0.053s passed
testTacletWithIf() 0.051s passed

Standard output

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