Fix bug

gussmith23 · May 1, 2024 · b92735b · b92735b
1 parent d01b794
commit b92735b
Showing 1 changed file with 1 addition and 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
@@ -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 \