TestApplyTaclet
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testAddExistingFormulaAntec() | 0.108s | passed |
| testAddExistingFormulaSucc() | 0.073s | passed |
| testAddExistingFormulaTwoInAntec() | 0.076s | passed |
| testAddExistingFormulaTwoInAntec2() | 0.070s | passed |
| testAddExistingFormulaTwoInSucc() | 0.066s | passed |
| testAddExistingFormulaTwoInSucc2() | 0.065s | passed |
| testAddingRule() | 0.080s | passed |
| testAntecTacletWithoutIf() | 0.082s | passed |
| testBugBrokenApply() | 0.083s | passed |
| testBugEmptyBlock() | 0.081s | passed |
| testBugID176() | 0.066s | passed |
| testBugID177() | 0.067s | passed |
| testBugID188() | 0.063s | passed |
| testCatchList() | 1.112s | passed |
| testCompleteContextAddBug() | 0.074s | passed |
| testContextAdding() | 0.152s | passed |
| testIncompleteNoFindTacletApp() | 0.067s | passed |
| testIncompleteSuccTacletApp() | 0.066s | passed |
| testModalityLevel0() | 0.329s | passed |
| testModalityLevel1() | 0.062s | passed |
| testModalityLevel2() | 0.065s | passed |
| testNoFindTacletWithoutIf() | 0.067s | passed |
| testPrgTacletApp() | 0.083s | passed |
| testRemoveEmptyBlock() | 0.195s | passed |
| testRewriteTacletWithoutIf() | 0.066s | passed |
| testSuccTacletAllRight() | 0.071s | passed |
| testSuccTacletWithoutIf() | 0.073s | passed |
| testTacletVariableCollector() | 0.071s | passed |
| testTacletWithIf() | 0.069s | passed |
Standard output
552887 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key
552887 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key
553840 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
553840 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
553840 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
553840 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
553887 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 47ms
553965 DEBUG Test worker d.u.i.k.l.o.ProgramSV taclet: Stopped list matching because of incompatible elements #cs (program Catch) finally {}
553965 DEBUG Test worker d.u.i.k.l.o.ProgramSV taclet: Stopped list matching because of incompatible elements #cs (program Catch) finally {}
553965 DEBUG Test worker d.u.i.k.l.o.ProgramSV taclet: Stopped list matching because of incompatible elements #cs (program Catch) finally {}
553965 DEBUG Test worker d.u.i.k.l.o.ProgramSV taclet: Stopped list matching because of incompatible elements #cs (program Catch) finally {}