TestProofScriptCommand

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

tests
0

failures
0

ignored
22.742s

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] 3.288s 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] 3.276s 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] 3.205s 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] 3.242s 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] 3.236s 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] 3.227s 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] 3.268s passed

Standard output

189988     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props8989881421459433841.key 
189991     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.57ms 
189993     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
193227     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
193255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8989881421459433841.key 
193257     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
193258     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
193261     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
193262     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
193264     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
193270     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props18007701176846830183.key 
193270     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.7ns 
193271     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
196507     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
196533     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props18007701176846830183.key 
196534     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
196535     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
196542     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
196545     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props9868375155117774277.key 
196545     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.8ns 
196546     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
199718     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 
199742     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props9868375155117774277.key 
199744     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
199744     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
199748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
199748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
199749     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
199751     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props3119389503931933729.key 
199751     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.2ns 
199752     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
202962     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
202984     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props3119389503931933729.key 
202986     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
202987     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
202989     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
202990     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
202993     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props17865317478922036601.key 
202993     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns 
202994     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206198     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
206223     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props17865317478922036601.key 
206225     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
206225     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
206226     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
206227     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
206231     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props3541535556849113024.key 
206231     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.42ns 
206233     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
209428     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
209450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props3541535556849113024.key 
209452     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
209453     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
209457     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props3252317516893233515.key 
209458     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 379.11ns 
209459     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
212696     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
212713     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3252317516893233515.key 
212714     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
212715     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
212722     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'