Open banhday opened 9 months ago
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.
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 errorabc: 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!