issue2672: use z3

ghdl · Jun 29, 2024 · 511412f · 511412f
1 parent ea17808
commit 511412f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/testsuite/ghdl-issues/issue2672/repro.sby b/testsuite/ghdl-issues/issue2672/repro.sby
@@ -6,7 +6,7 @@ prove_1: mode prove
 prove_1: depth 7
 
 [engines]
-prove_1: smtbmc boolector
+prove_1: smtbmc z3
 
 [script]
 ghdl --std=08 repro.vhdl -e