TestProofScriptCommand

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

tests
0

failures
0

ignored
23.171s

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.239s passed
[2] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props testProofScript(String, Path)[2] 3.210s passed
[3] 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)[3] 3.368s 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.312s 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.303s passed
[6] 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)[6] 3.437s passed
[7] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props testProofScript(String, Path)[7] 3.302s passed

Standard output

194046     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide.props8886923356527728906.key 
194046     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.4ns 
194048     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
197240     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 
197266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide.props8886923356527728906.key 
197269     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns 
197270     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
197275     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
197276     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
197278     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
197287     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_andRight.props10593818442106479216.key 
197288     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.9ns 
197289     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
200467     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 
200491     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_andRight.props10593818442106479216.key 
200492     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
200493     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
200497     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_rule.exc.props3084086365826353516.key 
200497     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 102.5ns 
200498     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
203833     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 
203855     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_rule.exc.props3084086365826353516.key 
203860     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
203860     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
203862     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
203863     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine []==>[and(a,b)] 
203868     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_unhide2.props12808613783387452585.key 
203868     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.1ns 
203869     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
207149     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 
207170     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_unhide2.props12808613783387452585.key 
207172     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
207173     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
207176     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
207177     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4'' 
207180     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.props3390395925801517581.key 
207180     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.6ns 
207181     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
210445     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
210467     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.props3390395925801517581.key 
210469     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
210470     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
210480     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
210483     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_hide.exc.props11686311388046671048.key 
210484     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.7ns 
210485     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
213871     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
213893     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_hide.exc.props11686311388046671048.key 
213911     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
213912     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
213917     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
213918     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine GOALS: 1 
213919     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine [a]==>[b] 
213922     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from /tmp/proofscript_key_selectFormula.props14679351994339555247.key 
213922     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 462.9ns 
213924     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
217191     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 
217207     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof proofscript_key_selectFormula.props14679351994339555247.key 
217208     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns 
217209     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
217215     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"'