TestProofScriptCommand

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

tests
0

failures
0

ignored
21.392s

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] 2.853s 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] 2.957s 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.064s 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.076s 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.155s 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.048s 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.239s passed

Standard output

186918     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props2869164646961555502.key 
186919     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 660.2ns 
186920     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
189721     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 
189752     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props2869164646961555502.key 
189754     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.5ns 
189755     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
189758     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
189760     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
189762     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
189770     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props14495797610216661623.key 
189771     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 162ns 
189772     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
192680     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 
192703     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14495797610216661623.key 
192706     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
192707     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
192723     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
192730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props13154326964891712098.key 
192731     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.35ms 
192732     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
195761     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 
195784     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props13154326964891712098.key 
195785     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 
195786     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
195789     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
195790     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
195790     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
195792     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props5925207559359690495.key 
195793     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.7ns 
195793     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198839     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 
198860     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props5925207559359690495.key 
198862     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
198863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
198865     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
198866     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
198869     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props8170539295778487937.key 
198869     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.1ns 
198870     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201999     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 
202019     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8170539295778487937.key 
202020     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15ns 
202021     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
202021     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
202022     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
202023     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props4521727700096686890.key 
202027     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.87ms 
202029     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
205036     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 
205058     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props4521727700096686890.key 
205066     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns 
205066     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
205071     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props2261394340982846535.key 
205071     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns 
205072     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
208268     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
208288     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props2261394340982846535.key 
208290     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
208290     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
208308     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"'