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] | 3.258s | 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] | 3.286s | 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] | 3.230s | 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] | 3.288s | 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] | 3.252s | 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] | 3.284s | 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] | 3.262s | passed |
Standard output
185960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props2183740601242656597.key 185961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 681ns 185962 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 189198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props2183740601242656597.key 189200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 189201 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 189206 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 189209 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' on goal 3 (script from line 3) 189220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props4265257557956032513.key 189220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.2ns 189221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 192483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props4265257557956032513.key 192489 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 192490 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' on goal 0 (script from line 1) 192495 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' on goal 1 (script from line 2) 192497 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' on goal 3 (script from line 3) 192499 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' on goal 4 (script from line 4) 192505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props1854454810123089198.key 192506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 661.71ns 192507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195703 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 195723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props1854454810123089198.key 195725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 195725 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 195732 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' on goal 3 (script from line 2) 195735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props14691494861808977742.key 195736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.2ns 195736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 199006 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14691494861808977742.key 199008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 199010 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 199018 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' on goal 1 (script from line 2) 199019 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 199020 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 199028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props12953134330471505625.key 199030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.07ms 199031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 202247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12953134330471505625.key 202251 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 202252 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' on goal 0 (script from line 1) 202275 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' on goal 5 (script from line 2) 202279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props15305892762391778621.key 202279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.5ns 202281 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205536 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 205556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15305892762391778621.key 205559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 205559 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' on goal 0 (script from line 1) 205560 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 205561 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 205564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props2342262740877472720.key 205564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.5ns 205565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 208816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2342262740877472720.key 208819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 208820 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' on goal 0 (script from line 1)