TestApplyTaclet

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

tests
0

failures
0

ignored
4.299s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.099s passed
testAddExistingFormulaSucc() 0.276s passed
testAddExistingFormulaTwoInAntec() 0.061s passed
testAddExistingFormulaTwoInAntec2() 0.065s passed
testAddExistingFormulaTwoInSucc() 0.084s passed
testAddExistingFormulaTwoInSucc2() 0.055s passed
testAddingRule() 0.061s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.053s passed
testBugEmptyBlock() 0.067s passed
testBugID176() 0.056s passed
testBugID177() 0.057s passed
testBugID188() 0.054s passed
testCatchList() 1.756s passed
testCompleteContextAddBug() 0.054s passed
testContextAdding() 0.196s passed
testIncompleteNoFindTacletApp() 0.098s passed
testIncompleteSuccTacletApp() 0.050s passed
testModalityLevel0() 0.093s passed
testModalityLevel1() 0.057s passed
testModalityLevel2() 0.061s passed
testNoFindTacletWithoutIf() 0.117s passed
testPrgTacletApp() 0.149s passed
testRemoveEmptyBlock() 0.054s passed
testRewriteTacletWithoutIf() 0.296s passed
testSuccTacletAllRight() 0.083s passed
testSuccTacletWithoutIf() 0.052s passed
testTacletVariableCollector() 0.075s passed
testTacletWithIf() 0.060s passed

Standard output

742594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 5 ms 
742594     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 
742595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
742595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
742629     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 34ms