From b92735ba26e1f03c43c9067491cf1ba99a733cdc Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Wed, 1 May 2024 07:20:19 -0700
Subject: [PATCH] Fix bug

---
 .../examples/lattice_ecp5_2stage_muland_unsigned_16bit.sh       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release_files/examples/lattice_ecp5_2stage_muland_unsigned_16bit.sh b/release_files/examples/lattice_ecp5_2stage_muland_unsigned_16bit.sh
index 53919ba3..8af5982f 100755
--- a/release_files/examples/lattice_ecp5_2stage_muland_unsigned_16bit.sh
+++ b/release_files/examples/lattice_ecp5_2stage_muland_unsigned_16bit.sh
@@ -3,7 +3,7 @@
 SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 
 "$SCRIPT_DIR/../bin/lakeroad" \
- --solver bitwuzla \
+ --bitwuzla --stp --yices --cvc5 \
  --verilog-module-filepath "$SCRIPT_DIR/verilog/lattice_ecp5_2stage_muland_unsigned_16bit.sv" \
  --architecture lattice-ecp5 \
  --template dsp \