actually test code that was broken

diff --git a/tests/various/smtlib2_expr.sh b/tests/various/smtlib2_expr.sh
index dc0cc3ead039c0a85dd52b92efbbb485e163c863..5539bae824faa671237f5b56ec2d0794a71d2eb3 100755 (executable)
--- 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