TestApplyTaclet

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

tests
0

failures
0

ignored
2.336s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.041s passed
testAddExistingFormulaSucc() 0.042s passed
testAddExistingFormulaTwoInAntec() 0.046s passed
testAddExistingFormulaTwoInAntec2() 0.048s passed
testAddExistingFormulaTwoInSucc() 0.039s passed
testAddExistingFormulaTwoInSucc2() 0.047s passed
testAddingRule() 0.043s passed
testAntecTacletWithoutIf() 0.047s passed
testBugBrokenApply() 0.048s passed
testBugEmptyBlock() 0.042s passed
testBugID176() 0.041s passed
testBugID177() 0.046s passed
testBugID188() 0.041s passed
testCatchList() 0.979s passed
testCompleteContextAddBug() 0.041s passed
testContextAdding() 0.048s passed
testIncompleteNoFindTacletApp() 0.039s passed
testIncompleteSuccTacletApp() 0.039s passed
testModalityLevel0() 0.039s passed
testModalityLevel1() 0.040s passed
testModalityLevel2() 0.052s passed
testNoFindTacletWithoutIf() 0.041s passed
testPrgTacletApp() 0.042s passed
testRemoveEmptyBlock() 0.043s passed
testRewriteTacletWithoutIf() 0.041s passed
testSuccTacletAllRight() 0.042s passed
testSuccTacletWithoutIf() 0.043s passed
testTacletVariableCollector() 0.042s passed
testTacletWithIf() 0.194s passed

Standard output

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