Update test_model_hint.c

SRI-CSL · Apr 4, 2024 · fc4a989 · fc4a989
1 parent 5806d76
commit fc4a989
Showing 1 changed file with 14 additions and 13 deletions.
diff --git a/tests/api/test_model_hint.c b/tests/api/test_model_hint.c
@@ -267,21 +267,22 @@ void check_simple(void) {
 }
 
 int main(void) {  
-  yices_init();
   if (yices_has_mcsat()) {
-    printf("MCSAT supported\n");
-    check_simple();
-    check_with_sat_model(false);
-    check_with_sat_model(true);
-    check_with_unsat_model(false);
-    check_with_unsat_model(true);
-    check_sat_with_empty_model();
-    check_unsat_with_empty_model();
-    check_unsat_with_model(false);
-    check_unsat_with_model(true);
-  } else {
-    printf("MCSAT not supported\n");   
+    return 1; // skipped
   }
+
+  yices_init();
+
+  check_simple();
+  check_with_sat_model(false);
+  check_with_sat_model(true);
+  check_with_unsat_model(false);
+  check_with_unsat_model(true);
+  check_sat_with_empty_model();
+  check_unsat_with_empty_model();
+  check_unsat_with_model(false);
+  check_unsat_with_model(true);
+
   yices_exit();
 
   return 0;