TestProofScriptCommand

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

tests
0

failures
0

ignored
18.588s

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] 2.598s 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] 2.644s 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] 2.657s 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] 2.700s passed
[5] 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)[5] 2.712s 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] 2.622s passed
[7] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props testProofScript(String, Path)[7] 2.655s passed

Standard output

156674     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props15636881227823022158.key 
156674     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 715.6ns 
156675     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
159238     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.56s 
159257     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props15636881227823022158.key 
159259     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
159260     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
159263     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
159264     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
159266     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
159272     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props6561736588428826795.key 
159272     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.4ns 
159274     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
161884     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 
161904     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6561736588428826795.key 
161905     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
161906     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
161912     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
161916     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props12464341250324406462.key 
161916     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.2ns 
161917     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
164549     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 
164565     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props12464341250324406462.key 
164566     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 
164567     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
164570     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
164570     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
164570     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
164572     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props15619661287991475361.key 
164572     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.2ns 
164573     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
167242     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 
167263     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props15619661287991475361.key 
167265     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
167265     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
167268     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
167270     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
167274     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props2505783228839078202.key 
167275     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.2ns 
167276     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
169965     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 
169980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props2505783228839078202.key 
169982     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
169983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
169983     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
169984     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
169986     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props8357170367421631181.key 
169987     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.2ns 
169988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172584     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 
172603     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props8357170367421631181.key 
172604     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 27.6ns 
172605     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
172610     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props17925129602530003545.key 
172610     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.3ns 
172611     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175233     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.62s 
175251     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props17925129602530003545.key 
175253     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
175254     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
175262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'