TestProofScriptCommand

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

tests
0

failures
0

ignored
22.294s

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.203s 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.128s 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.197s 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.224s 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.177s 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.216s 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.149s passed

Standard output

181025     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props6098390048843073160.key 
181026     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 527.01ns 
181034     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184172     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
184201     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props6098390048843073160.key 
184206     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
184208     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
184214     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
184215     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
184228     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props17343313608145985404.key 
184230     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.86ms 
184231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
187316     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 
187340     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props17343313608145985404.key 
187342     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
187343     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
187346     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
187349     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
187351     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
187357     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props279410719102133876.key 
187357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 481.81ns 
187358     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
190516     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 
190540     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props279410719102133876.key 
190542     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
190542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
190550     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
190554     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props14238965743342693239.key 
190554     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.7ns 
190558     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193740     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
193766     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props14238965743342693239.key 
193767     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
193768     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
193774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
193774     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
193775     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
193779     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props6643502531939831697.key 
193779     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.3ns 
193780     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196923     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 
196944     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6643502531939831697.key 
196946     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
196947     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
196953     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
196956     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props15795693456141909669.key 
196956     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90ns 
196957     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200143     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
200164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props15795693456141909669.key 
200167     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
200168     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
200170     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
200170     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
200172     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props17175542075618090990.key 
200172     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.8ns 
200173     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203297     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
203315     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17175542075618090990.key 
203316     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
203317     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'