TestApplyTaclet

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

tests
0

failures
0

ignored
2.391s

duration
100%

successful

Tests

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

Standard output

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