TestProofScriptCommand

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

tests
0

failures
0

ignored
21.538s

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.984s 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] 2.979s 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.050s 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.136s 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.116s 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.206s 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.067s passed

Standard output

179788     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props11991453599299097468.key 
179789     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 276ns 
179790     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
182736     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 
182757     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props11991453599299097468.key 
182760     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.2ns 
182760     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
182764     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
182765     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
182772     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props1303937108013811662.key 
182772     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 90ns 
182773     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
185717     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.94s 
185735     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props1303937108013811662.key 
185736     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns 
185737     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
185739     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
185745     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
185748     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
185752     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props9360382583498834474.key 
185753     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 694.3ns 
185754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
188765     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 
188784     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props9360382583498834474.key 
188786     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
188787     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
188793     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
188802     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props8142573942707421011.key 
188802     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.2ns 
188803     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
191911     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 
191931     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props8142573942707421011.key 
191932     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.8ns 
191933     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
191936     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
191936     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
191937     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
191939     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props18015609436176987195.key 
191939     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 93ns 
191940     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
195026     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 
195042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props18015609436176987195.key 
195044     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.4ns 
195044     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
195052     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
195054     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props8972786270129525513.key 
195054     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.4ns 
195055     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
198232     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
198252     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props8972786270129525513.key 
198255     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns 
198256     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
198257     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
198257     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
198261     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props16073907124718525404.key 
198261     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.2ns 
198262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
201305     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 
201323     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props16073907124718525404.key 
201325     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7ns 
201325     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight'