From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 20 May 2022 08:16:10 +0000 (-0700)
Subject: actually test code that was broken
X-Git-Tag: smtlib2-expr-support-on-0.13-old~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f5ccac3bd7bc0d420532646a3b3bd2990bdf06f8;p=yosys.git

actually test code that was broken

(cherry picked from commit b07d4707e49c93df0ce94f7733741ba28045e26c)
---

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