TestProofScriptCommand
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| [1] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props | testProofScript(String, Path)[1] | 4.417s | passed |
| [2] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props | testProofScript(String, Path)[2] | 4.268s | passed |
| [3] 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)[3] | 4.515s | passed |
| [4] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props | testProofScript(String, Path)[4] | 4.545s | 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] | 4.695s | passed |
| [6] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props | testProofScript(String, Path)[6] | 4.872s | passed |
| [7] 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)[7] | 4.790s | passed |
Standard output
264159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props13797031280874486458.key 264160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 869.1ns 264161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 268557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props13797031280874486458.key 268559 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 268560 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 268564 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 268565 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 268567 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 268576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props3207026498604394119.key 268576 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.7ns 268577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 272825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props3207026498604394119.key 272831 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 272832 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 272837 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 272840 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 272845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props15763392307337511853.key 272846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 707.6ns 272847 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 277353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15763392307337511853.key 277355 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 277356 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 277357 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 277358 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 277360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props15400081067136211103.key 277360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.7ns 277361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 281865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 281889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15400081067136211103.key 281891 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 281891 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 281901 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 281905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props12538956072097362245.key 281905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.6ns 281906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 286563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 286584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12538956072097362245.key 286586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 286586 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 286597 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 286600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props6187037214480861150.key 286601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.3ns 286602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 291444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 291464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props6187037214480861150.key 291466 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 291467 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 291472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props1157898087790575674.key 291472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.4ns 291473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 296216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 296237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1157898087790575674.key 296242 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 296245 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 296250 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 296251 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 296260 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b]