fix #7392

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 25, 2024 · eb5d036 · eb5d036
1 parent 2655301
commit eb5d036
Showing 1 changed file with 1 addition and 1 deletion.
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;