From bec8d6a6b966ce494d50a37a257af9f8cc3c8b01 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 20 Aug 2016 19:18:49 +0200
Subject: [PATCH] Fixed "make check" for new yosys-smtbmc cmdline

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f41044e..e1511fd 100644
--- a/Makefile
+++ b/Makefile
@@ -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' \