TestApplyTaclet

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

tests
0

failures
0

ignored
2.794s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.043s passed
testAddExistingFormulaSucc() 0.042s passed
testAddExistingFormulaTwoInAntec() 0.046s passed
testAddExistingFormulaTwoInAntec2() 0.048s passed
testAddExistingFormulaTwoInSucc() 0.040s passed
testAddExistingFormulaTwoInSucc2() 0.044s passed
testAddingRule() 0.042s passed
testAntecTacletWithoutIf() 0.052s passed
testBugBrokenApply() 0.208s passed
testBugEmptyBlock() 0.212s passed
testBugID176() 0.042s passed
testBugID177() 0.045s passed
testBugID188() 0.044s passed
testCatchList() 1.012s passed
testCompleteContextAddBug() 0.048s passed
testContextAdding() 0.045s passed
testIncompleteNoFindTacletApp() 0.043s passed
testIncompleteSuccTacletApp() 0.044s passed
testModalityLevel0() 0.045s passed
testModalityLevel1() 0.045s passed
testModalityLevel2() 0.046s passed
testNoFindTacletWithoutIf() 0.041s passed
testPrgTacletApp() 0.043s passed
testRemoveEmptyBlock() 0.046s passed
testRewriteTacletWithoutIf() 0.041s passed
testSuccTacletAllRight() 0.250s passed
testSuccTacletWithoutIf() 0.051s passed
testTacletVariableCollector() 0.042s passed
testTacletWithIf() 0.044s passed

Standard output

420196     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
420196     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1351 ms. 
420197     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
420197     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1351 ms. 
420198     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 1 ms to parse. 
420198     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420199     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
420200     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420200     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
420200     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420201     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
420201     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420202     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
420202     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420203     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
420203     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420203     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
420203     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420204     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
420204     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1352 ms. 
420205     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 1 ms to parse. 
420205     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1353 ms. 
420206     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
420206     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1353 ms. 
420206     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
420206     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1353 ms. 
420206     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
420207     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1353 ms. 
420272     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/testrules.key took 61 ms to parse. 
420272     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1414 ms. 
421124     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/testrules.key took 1 ms to parse. 
421124     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1415 ms. 
421124     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
421125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms