TestApplyTaclet

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

tests
0

failures
0

ignored
4.027s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.170s passed
testAddExistingFormulaSucc() 0.049s passed
testAddExistingFormulaTwoInAntec() 0.049s passed
testAddExistingFormulaTwoInAntec2() 0.049s passed
testAddExistingFormulaTwoInSucc() 0.428s passed
testAddExistingFormulaTwoInSucc2() 0.048s passed
testAddingRule() 0.067s passed
testAntecTacletWithoutIf() 0.058s passed
testBugBrokenApply() 0.048s passed
testBugEmptyBlock() 0.096s passed
testBugID176() 0.048s passed
testBugID177() 0.049s passed
testBugID188() 0.051s passed
testCatchList() 1.659s passed
testCompleteContextAddBug() 0.048s passed
testContextAdding() 0.080s passed
testIncompleteNoFindTacletApp() 0.206s passed
testIncompleteSuccTacletApp() 0.051s passed
testModalityLevel0() 0.083s passed
testModalityLevel1() 0.055s passed
testModalityLevel2() 0.170s passed
testNoFindTacletWithoutIf() 0.053s passed
testPrgTacletApp() 0.115s passed
testRemoveEmptyBlock() 0.049s passed
testRewriteTacletWithoutIf() 0.050s passed
testSuccTacletAllRight() 0.048s passed
testSuccTacletWithoutIf() 0.050s passed
testTacletVariableCollector() 0.050s passed
testTacletWithIf() 0.050s passed

Standard output

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