TestApplyTaclet

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

tests
0

failures
0

ignored
2.601s

duration
100%

successful

Tests

Test Duration Result
testAddExistingFormulaAntec() 0.058s passed
testAddExistingFormulaSucc() 0.061s passed
testAddExistingFormulaTwoInAntec() 0.062s passed
testAddExistingFormulaTwoInAntec2() 0.055s passed
testAddExistingFormulaTwoInSucc() 0.056s passed
testAddExistingFormulaTwoInSucc2() 0.058s passed
testAddingRule() 0.064s passed
testAntecTacletWithoutIf() 0.057s passed
testBugBrokenApply() 0.060s passed
testBugEmptyBlock() 0.058s passed
testBugID176() 0.054s passed
testBugID177() 0.053s passed
testBugID188() 0.054s passed
testCatchList() 0.975s passed
testCompleteContextAddBug() 0.060s passed
testContextAdding() 0.060s passed
testIncompleteNoFindTacletApp() 0.054s passed
testIncompleteSuccTacletApp() 0.075s passed
testModalityLevel0() 0.059s passed
testModalityLevel1() 0.056s passed
testModalityLevel2() 0.056s passed
testNoFindTacletWithoutIf() 0.057s passed
testPrgTacletApp() 0.058s passed
testRemoveEmptyBlock() 0.062s passed
testRewriteTacletWithoutIf() 0.055s passed
testSuccTacletAllRight() 0.057s passed
testSuccTacletWithoutIf() 0.055s passed
testTacletVariableCollector() 0.057s passed
testTacletWithIf() 0.055s passed

Standard output

395445     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
395445     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395445     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
395445     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395445     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse. 
395445     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
395460     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1440 ms. 
395476     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\testrules.key took 16 ms to parse. 
395476     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1456 ms. 
396315     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\testrules.key took 0 ms to parse. 
396315     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1456 ms. 
396315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396315     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  D:\a\key\key\key.core\src\test\resources\testcase\testrules.key:9#1 
396315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396315     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396347     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 32ms