Add the (modernized) test case from #220 · GaloisInc/saw-script@f2edbde

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Cache save failed.

Module ‘Data.Text.Prettyprint.Doc’ is deprecated:

Defined but not used: type constructor or class ‘ArgoPanic’

Pattern match is redundant

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Defined but not used: ‘ty’

This binding for ‘sym’ shadows the existing binding

This binding for ‘tp’ shadows the existing binding

This binding for ‘tp'’ shadows the existing binding

This binding for ‘rp’ shadows the existing binding

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Provide feedback