Update test_model_hint.c

SRI-CSL · Apr 4, 2024 · de6e864 · de6e864
1 parent fc4a989
commit de6e864
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/api/test_model_hint.c b/tests/api/test_model_hint.c
@@ -267,7 +267,7 @@ void check_simple(void) {
 }
 
 int main(void) {  
-  if (yices_has_mcsat()) {
+  if (!yices_has_mcsat()) {
     return 1; // skipped
   }