TestProofScriptCommand

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

tests
0

failures
0

ignored
20.718s

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] 2.936s 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.130s 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] 2.963s 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] 2.890s 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.002s 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] 2.901s 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] 2.896s passed

Standard output

169227     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props12780784686392726185.key 
169228     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.71ns 
169235     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
172118     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 
172141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12780784686392726185.key 
172142     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns 
172143     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
172145     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
172146     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
172152     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props1768806455209638342.key 
172152     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.5ns 
172153     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
175253     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
175274     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1768806455209638342.key 
175275     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
175276     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
175278     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
175279     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
175280     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
175282     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props6178379704253344750.key 
175282     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.1ns 
175283     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
178214     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s 
178235     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props6178379704253344750.key 
178237     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
178237     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
178243     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
178246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props10447801238726175666.key 
178246     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.5ns 
178247     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
181108     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.86s 
181129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props10447801238726175666.key 
181130     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
181131     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
181133     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
181134     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
181134     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
181136     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props6970606587555607891.key 
181136     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90ns 
181137     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
184107     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 
184128     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props6970606587555607891.key 
184129     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
184130     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
184136     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
184138     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props7821753157303400315.key 
184139     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.6ns 
184140     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
187016     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.88s 
187035     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props7821753157303400315.key 
187036     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns 
187037     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
187038     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
187038     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
187040     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props17356454122132619816.key 
187040     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.5ns 
187041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189913     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 
189930     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props17356454122132619816.key 
189932     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
189932     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'