TestProofScriptCommand

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

tests
0

failures
0

ignored
26.962s

duration
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.559s 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.733s 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] 4.125s 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] 4.043s 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.880s 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.870s 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.752s passed

Standard output

207547     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props15365811744639633590.key 
207548     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.5ns 
207549     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211054     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 
211085     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15365811744639633590.key 
211087     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
211089     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
211092     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
211093     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
211106     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props3851278460397693184.key 
211107     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 609.1ns 
211108     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214794     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 
214817     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props3851278460397693184.key 
214821     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns 
214822     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
214828     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
214831     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
214834     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
214840     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props4109413605529008996.key 
214841     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 904.9ns 
214842     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218918     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 
218944     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props4109413605529008996.key 
218947     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
218951     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
218961     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
218966     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props8517288606120603607.key 
218966     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.4ns 
218969     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
222972     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 
222997     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8517288606120603607.key 
223000     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
223001     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
223004     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
223006     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
223006     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
223013     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props15461503145757586265.key 
223014     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.7ns 
223019     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
226852     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 
226876     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props15461503145757586265.key 
226878     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
226879     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
226887     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
226891     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props15838239415690331895.key 
226891     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.4ns 
226895     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
230730     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 
230755     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15838239415690331895.key 
230757     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
230758     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
230758     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
230759     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
230761     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props6357293068348714937.key 
230761     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.4ns 
230770     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
234486     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 
234506     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props6357293068348714937.key 
234507     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
234508     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'