TestProofScriptCommand

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

tests
0

failures
0

ignored
23.007s

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.281s 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.224s 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.336s 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.319s 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.283s 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.355s 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.209s passed

Standard output

191163     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props14426607444961411935.key 
191163     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.4ns 
191164     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
194380     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 
194406     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props14426607444961411935.key 
194408     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 26.6ns 
194409     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
194414     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
194415     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
194428     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props641985305725395638.key 
194429     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.6ns 
194430     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197608     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
197638     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props641985305725395638.key 
197640     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
197641     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
197645     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
197648     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
197649     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
197653     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props2732721163642678799.key 
197653     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.4ns 
197654     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200954     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
200977     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props2732721163642678799.key 
200979     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
200979     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
200985     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
200988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props8777945541518499793.key 
200988     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.8ns 
200989     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
204276     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
204299     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8777945541518499793.key 
204301     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
204301     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
204304     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
204305     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
204306     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
204308     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props2246382462738810924.key 
204308     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 95ns 
204309     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207553     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
207578     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2246382462738810924.key 
207580     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
207581     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
207588     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
207590     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props17465649105771845346.key 
207591     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.1ns 
207592     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210913     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 
210939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props17465649105771845346.key 
210941     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 32.4ns 
210941     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
210942     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
210942     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
210946     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props14445119456753997785.key 
210946     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.2ns 
210947     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
214128     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
214149     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props14445119456753997785.key 
214151     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 19.2ns 
214151     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'