TestProofScriptCommand

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

tests
0

failures
0

ignored
24.224s

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.437s 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.446s 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.452s 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.511s 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.436s 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.515s 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.427s passed

Standard output

204377     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props11323667879905389615.key 
204377     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 529.4ns 
204378     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207770     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
207796     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11323667879905389615.key 
207799     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
207800     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
207805     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
207806     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
207815     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props2080417605431199329.key 
207815     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.8ns 
207816     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
211217     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
211240     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2080417605431199329.key 
211242     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
211243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
211247     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
211252     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
211255     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
211260     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props5098660983243143102.key 
211260     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.4ns 
211261     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214662     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
214689     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props5098660983243143102.key 
214692     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
214693     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
214709     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
214714     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props7361986510319665933.key 
214715     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.7ns 
214716     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
218193     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
218214     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props7361986510319665933.key 
218216     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 23.7ns 
218217     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
218221     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
218222     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
218222     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
218224     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props10301845676506970983.key 
218224     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.6ns 
218226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
221625     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
221646     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props10301845676506970983.key 
221647     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns 
221648     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
221657     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
221661     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props9303289692340312001.key 
221661     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.4ns 
221719     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
225148     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
225169     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props9303289692340312001.key 
225172     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns 
225172     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
225173     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
225174     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
225176     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props8965905968990005024.key 
225176     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.8ns 
225177     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
228576     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 
228596     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props8965905968990005024.key 
228598     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
228599     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'