TestApplyTaclet

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

tests
0

failures
0

ignored
3.767s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.096s passed
testAddExistingFormulaSucc() 0.052s passed
testAddExistingFormulaTwoInAntec() 0.053s passed
testAddExistingFormulaTwoInAntec2() 0.051s passed
testAddExistingFormulaTwoInSucc() 0.050s passed
testAddExistingFormulaTwoInSucc2() 0.047s passed
testAddingRule() 0.050s passed
testAntecTacletWithoutIf() 0.060s passed
testBugBrokenApply() 0.062s passed
testBugEmptyBlock() 0.068s passed
testBugID176() 0.054s passed
testBugID177() 0.052s passed
testBugID188() 0.057s passed
testCatchList() 1.473s passed
testCompleteContextAddBug() 0.056s passed
testContextAdding() 0.139s passed
testIncompleteNoFindTacletApp() 0.378s passed
testIncompleteSuccTacletApp() 0.053s passed
testModalityLevel0() 0.049s passed
testModalityLevel1() 0.087s passed
testModalityLevel2() 0.060s passed
testNoFindTacletWithoutIf() 0.223s passed
testPrgTacletApp() 0.179s passed
testRemoveEmptyBlock() 0.050s passed
testRewriteTacletWithoutIf() 0.056s passed
testSuccTacletAllRight() 0.048s passed
testSuccTacletWithoutIf() 0.060s passed
testTacletVariableCollector() 0.054s passed
testTacletWithIf() 0.050s passed

Standard output

684495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 4 ms 
684495     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 
684495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
684495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
684528     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 31ms