TestApplyTaclet

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

tests
0

failures
0

ignored
4.430s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.106s passed
testAddExistingFormulaSucc() 0.056s passed
testAddExistingFormulaTwoInAntec() 0.074s passed
testAddExistingFormulaTwoInAntec2() 0.061s passed
testAddExistingFormulaTwoInSucc() 0.624s passed
testAddExistingFormulaTwoInSucc2() 0.054s passed
testAddingRule() 0.128s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.056s passed
testBugEmptyBlock() 0.195s passed
testBugID176() 0.052s passed
testBugID177() 0.054s passed
testBugID188() 0.062s passed
testCatchList() 1.777s passed
testCompleteContextAddBug() 0.057s passed
testContextAdding() 0.070s passed
testIncompleteNoFindTacletApp() 0.109s passed
testIncompleteSuccTacletApp() 0.056s passed
testModalityLevel0() 0.053s passed
testModalityLevel1() 0.142s passed
testModalityLevel2() 0.093s passed
testNoFindTacletWithoutIf() 0.092s passed
testPrgTacletApp() 0.056s passed
testRemoveEmptyBlock() 0.057s passed
testRewriteTacletWithoutIf() 0.058s passed
testSuccTacletAllRight() 0.061s passed
testSuccTacletWithoutIf() 0.051s passed
testTacletVariableCollector() 0.060s passed
testTacletWithIf() 0.056s passed

Standard output

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