TestProofScriptCommand

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

tests
0

failures
0

ignored
22.271s

duration
100%

successful

Tests

Test Method name Duration Result
[1] selectFormula.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/selectFormula.props testProofScript(String, Path)[1] 3.087s passed
[2] 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)[2] 3.238s passed
[3] unhide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide.props testProofScript(String, Path)[3] 3.131s passed
[4] andRight.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/andRight.props testProofScript(String, Path)[4] 3.156s passed
[5] 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)[5] 3.299s passed
[6] hide.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/hide.props testProofScript(String, Path)[6] 3.117s passed
[7] unhide2.props, /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/macros/scripts/cases/unhide2.props testProofScript(String, Path)[7] 3.243s passed

Standard output

183873     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
183885     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'select formula="b"' 
187126     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andLeft' 
190253     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
190256     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
190257     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==>'' 
190259     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 4: 'unhide '==> 3=4'' 
193414     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule andRight' 
196712     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
196715     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "b ==>"' 
199824     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'macro split-prop' 
199830     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide "a ==> d, e"' 
203072     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
203075     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'hide '2=3 ==> 3=4'' 
203075     INFO  Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'unhide '2=3 ==> 3=4''