TestApplyTaclet

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

tests
0

failures
0

ignored
3.699s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.055s passed
testAddExistingFormulaSucc() 0.058s passed
testAddExistingFormulaTwoInAntec() 0.051s passed
testAddExistingFormulaTwoInAntec2() 0.053s passed
testAddExistingFormulaTwoInSucc() 0.054s passed
testAddExistingFormulaTwoInSucc2() 0.052s passed
testAddingRule() 0.197s passed
testAntecTacletWithoutIf() 0.063s passed
testBugBrokenApply() 0.060s passed
testBugEmptyBlock() 0.055s passed
testBugID176() 0.054s passed
testBugID177() 0.056s passed
testBugID188() 0.054s passed
testCatchList() 1.228s passed
testCompleteContextAddBug() 0.057s passed
testContextAdding() 0.138s passed
testIncompleteNoFindTacletApp() 0.051s passed
testIncompleteSuccTacletApp() 0.054s passed
testModalityLevel0() 0.256s passed
testModalityLevel1() 0.056s passed
testModalityLevel2() 0.105s passed
testNoFindTacletWithoutIf() 0.463s passed
testPrgTacletApp() 0.108s passed
testRemoveEmptyBlock() 0.057s passed
testRewriteTacletWithoutIf() 0.049s passed
testSuccTacletAllRight() 0.053s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.054s passed
testTacletWithIf() 0.053s passed

Standard output

526030     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 2 ms 
526031     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 
526031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
526032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
526062     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 30ms