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/

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/

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

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

This binding for ‘rp’ shadows the existing binding

Provide feedback