TestProofScriptCommand
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [1] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props | testProofScript(String, Path)[1] | 2.575s | passed |
| [2] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props | testProofScript(String, Path)[2] | 2.539s | passed |
| [3] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props | testProofScript(String, Path)[3] | 2.568s | passed |
| [4] hide.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.exc.props | testProofScript(String, Path)[4] | 2.587s | passed |
| [5] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props | testProofScript(String, Path)[5] | 2.584s | passed |
| [6] rule.exc.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/rule.exc.props | testProofScript(String, Path)[6] | 2.605s | passed |
| [7] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props | testProofScript(String, Path)[7] | 2.517s | passed |
Standard output
147028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props12103510725770009283.key 147028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 147029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.55s 149594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12103510725770009283.key 149595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.9ns 149596 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 149598 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 149598 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' on goal 3 (script from line 3) 149603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props7207839000457326239.key 149604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.8ns 149604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 152135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props7207839000457326239.key 152137 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns 152137 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 152139 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 152139 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' on goal 3 (script from line 3) 152140 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' on goal 4 (script from line 4) 152142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props9094720752278870490.key 152142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.4ns 152143 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 154700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props9094720752278870490.key 154702 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 154702 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 154708 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' on goal 3 (script from line 2) 154710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props10477597471449278105.key 154710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.9ns 154711 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 157288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props10477597471449278105.key 157289 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.6ns 157290 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 157294 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' on goal 1 (script from line 2) 157295 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 157296 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 157299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props13716522984821360875.key 157299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 596.5ns 157300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 159873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props13716522984821360875.key 159874 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 159875 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 159881 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' on goal 5 (script from line 2) 159883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props9307048985369239060.key 159883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.8ns 159884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 162485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9307048985369239060.key 162486 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 162487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' on goal 0 (script from line 1) 162487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 162487 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 162489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props17717808870662622579.key 162489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.1ns 162489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 165003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17717808870662622579.key 165004 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 165004 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' on goal 0 (script from line 1)