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.175s | passed |
| [2] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props | testProofScript(String, Path)[2] | 4.183s | passed |
| [3] 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)[3] | 4.257s | passed |
| [4] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props | testProofScript(String, Path)[4] | 4.251s | passed |
| [5] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props | testProofScript(String, Path)[5] | 4.244s | passed |
| [6] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props | testProofScript(String, Path)[6] | 4.231s | passed |
| [7] 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)[7] | 4.218s | passed |
Standard output
245746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props8056125757089439442.key 245747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.17ms 245748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 249900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8056125757089439442.key 249902 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 249903 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 249907 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 249908 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 249910 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 249920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props13420111529195717399.key 249920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.23ns 249922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 254089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props13420111529195717399.key 254091 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 254091 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 254098 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 254102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props1748759837342820610.key 254102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.81ns 254103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 258315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 258347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props1748759837342820610.key 258349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 258350 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 258355 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 258356 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 258357 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 258360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props18440532215918442729.key 258361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.13ns 258362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262578 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 262602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props18440532215918442729.key 262604 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 262605 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 262608 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 262609 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 262613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props18058328241760153729.key 262613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.52ns 262615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 266826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 266850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props18058328241760153729.key 266852 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 266853 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 266857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props7782345129141166222.key 266858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 419.72ns 266859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 271050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 271074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props7782345129141166222.key 271075 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 271076 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 271085 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 271089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props3150942000031875332.key 271089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.12ns 271090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 275279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 275302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3150942000031875332.key 275303 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns 275304 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 275305 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine GOALS: 1 275305 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)]