TestApplyTaclet

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

tests
0

failures
0

ignored
2.041s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.040s passed
testAddExistingFormulaSucc() 0.055s passed
testAddExistingFormulaTwoInAntec() 0.048s passed
testAddExistingFormulaTwoInAntec2() 0.052s passed
testAddExistingFormulaTwoInSucc() 0.039s passed
testAddExistingFormulaTwoInSucc2() 0.040s passed
testAddingRule() 0.043s passed
testAntecTacletWithoutIf() 0.037s passed
testBugBrokenApply() 0.050s passed
testBugEmptyBlock() 0.045s passed
testBugID176() 0.051s passed
testBugID177() 0.037s passed
testBugID188() 0.038s passed
testCatchList() 0.870s passed
testCompleteContextAddBug() 0.043s passed
testContextAdding() 0.043s passed
testIncompleteNoFindTacletApp() 0.041s passed
testIncompleteSuccTacletApp() 0.039s passed
testModalityLevel0() 0.041s passed
testModalityLevel1() 0.040s passed
testModalityLevel2() 0.042s passed
testNoFindTacletWithoutIf() 0.039s passed
testPrgTacletApp() 0.043s passed
testRemoveEmptyBlock() 0.038s passed
testRewriteTacletWithoutIf() 0.036s passed
testSuccTacletAllRight() 0.037s passed
testSuccTacletWithoutIf() 0.039s passed
testTacletVariableCollector() 0.038s passed
testTacletWithIf() 0.037s passed

Standard output

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