From 12c218c1b3c4d13b404b1630b9977bade4a0ac52 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 30 Aug 2016 14:37:21 +0200 Subject: Using new yosys write_smt2 cmdline --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index eb3aa8a..fb81b59 100644 --- a/Makefile +++ b/Makefile @@ -30,7 +30,7 @@ check-yices: check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ -p 'prep -top picorv32 -nordff' \ - -p 'write_smt2 -bv -mem -wires check.smt2' + -p 'write_smt2 -wires check.smt2' test_sp: testbench_sp.vvp firmware/firmware.hex vvp -N testbench_sp.vvp -- cgit