fix #7392

NikolajBjorner · NikolajBjorner · commit eb5d036786d1 · 2024-09-25T10:21:54.000+01:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/src/smt/params/smt_params.cpp b/src/smt/params/smt_params.cpp
@@ -331,7 +331,7 @@ void smt_params::setup_QF_BV() {
 }
 
 void smt_params::setup_QF_AUFBV() {
-    m_array_mode          = AR_SIMPLE;
+    m_array_mode          = AR_FULL;
     m_relevancy_lvl       = 0;
     m_bv_cc               = false;
     m_bb_ext_gates        = true;

Original file line number	Diff line number	Diff line change
`@@ -331,7 +331,7 @@ void smt_params::setup_QF_BV() {`
`331`	`331`	`}`
`332`	`332`
`333`	`333`	`void smt_params::setup_QF_AUFBV() {`
`334`		`- m_array_mode = AR_SIMPLE;`
	`334`	`+ m_array_mode = AR_FULL;`
`335`	`335`	`m_relevancy_lvl = 0;`
`336`	`336`	`m_bv_cc = false;`
`337`	`337`	`m_bb_ext_gates = true;`