TestProofScriptCommand

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

tests
0

failures
0

ignored
24.101s

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.384s 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.385s 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.538s 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.512s 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.401s 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.406s 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.475s passed

Standard output

195849     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props5897685740906793975.key 
195850     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 683.7ns 
195851     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
199189     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
199216     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5897685740906793975.key 
199219     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
199220     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
199224     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
199225     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
199235     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props9989501740651933266.key 
199236     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.7ns 
199237     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
202585     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 
202609     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props9989501740651933266.key 
202610     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
202611     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
202614     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
202614     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
202615     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
202618     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props11437964035899125104.key 
202618     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.3ns 
202619     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
206120     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 
206143     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props11437964035899125104.key 
206145     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.2ns 
206146     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
206152     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
206157     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props4488172706595029014.key 
206157     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 447ns 
206159     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
209637     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
209660     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props4488172706595029014.key 
209662     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 
209662     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
209665     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
209666     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
209666     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
209668     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props11925430944052828190.key 
209669     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 
209670     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213034     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
213057     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props11925430944052828190.key 
213058     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
213059     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
213066     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
213069     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props6510027547145432488.key 
213069     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.1ns 
213074     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
216448     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
216470     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props6510027547145432488.key 
216472     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 394.6ns 
216473     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
216474     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
216474     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
216476     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props11202373180978042798.key 
216476     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.9ns 
216477     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
219867     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
219945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props11202373180978042798.key 
219947     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 
219947     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'