SAW 0.5 Docker container can't accept input files

[weaversa]

$ saw bittwiddling.saw
[17:57:58.971] Loading file "[redacted]bittwiddling.saw"
[17:57:58.971] [redacted]bittwiddling.saw: openFile: does not exist (No such file or directory)

[atomb]

Could you provide some more context? Have you added that file to the Docker container, or mounted a local directory within it?

[weaversa]

Oh you're right. It seemed to work in Cryptol because I had this fancy command:

docker run --rm -it --read-only --mount type=bind,src=/home,dst=/home --env CRYPTOLPATH=$(pwd) galoisinc/cryptol:nightly +RTS -N -RTS --no-unicode-logo $*

But, I had forgotten to add all that when running the saw docker container.