This repository has been archived by the owner on Aug 20, 2024. It is now read-only.
Cannot run program "z3"CreateProcess error=2, system cant find the file specified #61
Comments
|
The formal tests require z3 which you can download here: https://github.com/Z3Prover/z3/releases/tag/z3-4.12.6 |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
I run ALUTests.scala in intelliJIDEA under windows,but encountered this error.
I have installed verilator by cygwin and add environment variable into PATH.
The text was updated successfully, but these errors were encountered: