TestApplyTaclet

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

tests
0

failures
0

ignored
2.536s

duration
100%

successful

Tests

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

Standard output

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