TestApplyTaclet

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

tests
0

failures
0

ignored
3.501s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.071s passed
testAddExistingFormulaSucc() 0.045s passed
testAddExistingFormulaTwoInAntec() 0.068s passed
testAddExistingFormulaTwoInAntec2() 0.045s passed
testAddExistingFormulaTwoInSucc() 0.045s passed
testAddExistingFormulaTwoInSucc2() 0.053s passed
testAddingRule() 0.192s passed
testAntecTacletWithoutIf() 0.044s passed
testBugBrokenApply() 0.066s passed
testBugEmptyBlock() 0.094s passed
testBugID176() 0.044s passed
testBugID177() 0.054s passed
testBugID188() 0.050s passed
testCatchList() 1.086s passed
testCompleteContextAddBug() 0.048s passed
testContextAdding() 0.117s passed
testIncompleteNoFindTacletApp() 0.615s passed
testIncompleteSuccTacletApp() 0.045s passed
testModalityLevel0() 0.064s passed
testModalityLevel1() 0.113s passed
testModalityLevel2() 0.105s passed
testNoFindTacletWithoutIf() 0.081s passed
testPrgTacletApp() 0.048s passed
testRemoveEmptyBlock() 0.051s passed
testRewriteTacletWithoutIf() 0.044s passed
testSuccTacletAllRight() 0.044s passed
testSuccTacletWithoutIf() 0.049s passed
testTacletVariableCollector() 0.044s passed
testTacletWithIf() 0.076s passed

Standard output

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