search

ucb-bar / riscv-mini

Simple RISC-V 3-stage Pipeline in Chisel
Other
549 stars 112 forks source link

Cannot run program "z3"CreateProcess error=2, system cant find the file specified #61

Closed TDppy closed 9 months ago

TDppy commented 9 months ago

I run ALUTests.scala in intelliJIDEA under windows,but encountered this error. I have installed verilator by cygwin and add environment variable into PATH.

ekiwi commented 9 months ago

The formal tests require z3 which you can download here: https://github.com/Z3Prover/z3/releases/tag/z3-4.12.6