TestApplyTaclet

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

tests
0

failures
0

ignored
2.411s

duration
100%

successful

Tests

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

Standard output

475563     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 3 ms 
475564     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 
475564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
475564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
475590     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 25ms