TestProofScriptCommand

all > de.uka.ilkd.key.macros.scripts > TestProofScriptCommand
7

tests
0

failures
0

ignored
21.490s

duration
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] 3.080s passed
[2] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props testProofScript(String, Path)[2] 3.022s 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] 3.081s 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] 3.025s 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.098s passed
[6] 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)[6] 3.146s passed
[7] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props testProofScript(String, Path)[7] 3.038s passed

Standard output

178245     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props10881222156980946139.key 
178246     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 625.8ns 
178253     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181286     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 
181310     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props10881222156980946139.key 
181312     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 
181312     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
181317     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
181317     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
181319     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
181326     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props2387459254656370853.key 
181326     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.9ns 
181327     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184324     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 
184343     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props2387459254656370853.key 
184345     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
184345     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
184349     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props5492415505573440681.key 
184349     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.6ns 
184350     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
187404     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 
187422     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props5492415505573440681.key 
187424     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
187425     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
187426     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
187427     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
187439     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props11788056834857745998.key 
187439     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 646.2ns 
187441     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
190427     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 
190445     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11788056834857745998.key 
190446     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
190447     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
190450     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
190451     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
190460     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props12274366573252359063.key 
190473     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 12.76ms 
190474     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193528     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 
193545     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props12274366573252359063.key 
193546     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
193547     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
193555     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
193558     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props4901579932619044502.key 
193558     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.1ns 
193559     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196666     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
196685     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4901579932619044502.key 
196691     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
196697     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
196701     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
196701     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
196701     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
196717     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props15241338791672670603.key 
196717     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns 
196718     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
199700     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 
199725     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props15241338791672670603.key 
199727     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
199728     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
199736     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"'