CI timeout on MacOS

[robdockins]

The SAW remote API test on master (and various branches) is currently failing with a timeout.

https://github.com/GaloisInc/saw-script/runs/7220103845?check_suite_focus=true

The logs don't give much indication of what is happening, but I'm guessing this is some kind of configuration issue since it only affects this one platform.

[RyanGlScott]

Are you able to reproduce it locally, by any chance?

[robdockins]

I haven't attempted yet.

[kquick]

Looks like SAW_SERVER is set to the wrong thing: https://github.com/GaloisInc/saw-script/runs/7243332951?check_suite_focus=true

[RyanGlScott]

Looks like SAW_SERVER is set to the wrong thing

In what sense? Note that saw-remote-api doesn't have a -V option, but it does in fact print the expected "Invalid option" output if you pass it that, as the CI job demonstrates.

[kquick]

Whoops, I misinterpreted the intent of the code. I had though that $SAW_SERVER was intended to be saw-script.

However, the other intent of my change was to ensure that SAW_SERVER was set to an executable that could successfully be run, which this does confirm. so it didn't find the problem, but helps eliminate one potential issue.