From b07d4707e49c93df0ce94f7733741ba28045e26c Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 20 May 2022 01:16:10 -0700 Subject: [PATCH] actually test code that was broken --- tests/various/smtlib2_expr.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/various/smtlib2_expr.sh b/tests/various/smtlib2_expr.sh index dc0cc3ead..5539bae82 100755 --- a/tests/various/smtlib2_expr.sh +++ b/tests/various/smtlib2_expr.sh @@ -1,4 +1,4 @@ #!/bin/bash set -ex ../../yosys -q -p 'read_verilog -icells -formal smtlib2_expr.v; prep; write_smt2 -wires smtlib2_expr.smt2' -../../yosys-smtbmc -s cvc4 --dump-vcd smtlib2_expr.vcd smtlib2_expr.smt2 +../../yosys-smtbmc -s cvc4 --unroll --dump-vcd smtlib2_expr.vcd smtlib2_expr.smt2 -- 2.30.2