diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-08-20 19:18:49 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-08-20 19:18:49 +0200 |
commit | bec8d6a6b966ce494d50a37a257af9f8cc3c8b01 (patch) | |
tree | 49d989c21101c15199a34934eaa68540f8e71f48 /Makefile | |
parent | 3e4fe5811c1df7b7bb9e23e25a57193c2badc690 (diff) | |
download | picorv32-bec8d6a6b966ce494d50a37a257af9f8cc3c8b01.tar.gz picorv32-bec8d6a6b966ce494d50a37a257af9f8cc3c8b01.zip |
Fixed "make check" for new yosys-smtbmc cmdline
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -20,8 +20,8 @@ view: testbench.vcd gtkwave $< testbench.gtkw check: check.smt2 - yosys-smtbmc -t 30 -c check.vcd check.smt2 - yosys-smtbmc -t 30 -c check.vcd -i check.smt2 + yosys-smtbmc -t 30 --dump-vcd check.vcd check.smt2 + yosys-smtbmc -t 30 --dump-vcd check.vcd -i check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ |