TestApplyTaclet

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

tests
0

failures
0

ignored
2.498s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.052s passed
testAddExistingFormulaSucc() 0.051s passed
testAddExistingFormulaTwoInAntec() 0.049s passed
testAddExistingFormulaTwoInAntec2() 0.046s passed
testAddExistingFormulaTwoInSucc() 0.048s passed
testAddExistingFormulaTwoInSucc2() 0.050s passed
testAddingRule() 0.052s passed
testAntecTacletWithoutIf() 0.045s passed
testBugBrokenApply() 0.057s passed
testBugEmptyBlock() 0.049s passed
testBugID176() 0.047s passed
testBugID177() 0.052s passed
testBugID188() 0.048s passed
testCatchList() 1.104s passed
testCompleteContextAddBug() 0.051s passed
testContextAdding() 0.054s passed
testIncompleteNoFindTacletApp() 0.050s passed
testIncompleteSuccTacletApp() 0.049s passed
testModalityLevel0() 0.051s passed
testModalityLevel1() 0.049s passed
testModalityLevel2() 0.056s passed
testNoFindTacletWithoutIf() 0.049s passed
testPrgTacletApp() 0.049s passed
testRemoveEmptyBlock() 0.048s passed
testRewriteTacletWithoutIf() 0.045s passed
testSuccTacletAllRight() 0.046s passed
testSuccTacletWithoutIf() 0.048s passed
testTacletVariableCollector() 0.055s passed
testTacletWithIf() 0.048s passed

Standard output

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