Error: posix_spawnp: illegal operation when running saw ffs_llvm.saw
banhday opened this issue · comments
Hello Team,
I cloned the repository and tried to run the command saw ffs_llvm.saw with the file provided in the folder doc/tutorial/code from a terminal. However, I have received the error abc: readCreateProcessWithExitCode: posix_spawnp: illegal operation (Inappropriate ioctl for device).
I downloaded the precompiled binary v1.0 for MacOS and used Z3 v4.8.10.
Can you please check whether it is a real bug or I did something wrong? Thank you!
The error is most likely a result of not having the abc executable (which the tutorial makes use of) on your PATH. We offer a pre-built version of abc and other solvers here.
That being said, the tutorial should definitely mention the need to install abc beforehand. We should also mention this in the saw-script README, as it currently mentions Z3 and Yices, but nothing about other solvers like abc.
I ran this command successfully after adding the solver abc on my PATH. Thanks again.