check good vars

SRI-CSL · Nov 19, 2023 · e6d8b94 · e6d8b94
1 parent 23d9ac3
commit e6d8b94
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/api/yices_api.c b/src/api/yices_api.c
@@ -9330,6 +9330,11 @@ EXPORTED smt_status_t yices_mcsat_set_var_order(context_t *ctx, const term_t t[]
     return STATUS_ERROR;
   }
 
+  if (! good_terms_for_check_with_model(n, t)) {
+    set_error_code(VARIABLE_REQUIRED);
+    return STATUS_ERROR;
+  }
+
   ivector_t *order = &ctx->mcsat_var_order;
   ivector_copy(order, t, n);