Merge branch 'master' into mcsat-target-best

SRI-CSL · Dec 23, 2024 · aa28cb8 · aa28cb8
2 parents a061947 + 1cb3967
commit aa28cb8
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/.github/actions/test/action.yml b/.github/actions/test/action.yml
@@ -13,5 +13,12 @@ runs:
         # This is needed for yices2 to find libpoly.so.0. /usr/local/lib not searched by default?
         export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
         make MODE=${{ inputs.mode }} check
-        make MODE=${{ inputs.mode }} check-api
         make MODE=${{ inputs.mode }} test
+
+    - name: Test Yices API
+      shell: bash
+      if: inputs.mode != 'gcov'
+      run: |
+        # This is needed for yices2 to find libpoly.so.0. /usr/local/lib not searched by default?
+        export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH}
+        make MODE=${{ inputs.mode }} check-api
diff --git a/src/include/yices.h b/src/include/yices.h
@@ -3268,7 +3268,7 @@ __YICES_DLLSPEC__ extern smt_status_t yices_check_context_with_model(context_t *
  *   code = CTX_OPERATION_NOT_SUPPORTED
  *
  *
- * Since 2.7.0
+ * Since 2.6.5
  */
 __YICES_DLLSPEC__ extern smt_status_t yices_check_context_with_model_and_hint(context_t *ctx,
 									      const param_t *params,
@@ -3293,6 +3293,8 @@ __YICES_DLLSPEC__ extern smt_status_t yices_check_context_with_model_and_hint(co
  *
  * If the context does not have the MCSAT solver enabled
  *   code = CTX_OPERATION_NOT_SUPPORTED
+ *
+ * Since 2.6.5
  */
 __YICES_DLLSPEC__ extern smt_status_t yices_mcsat_set_fixed_var_order(context_t *ctx,
                                                                       uint32_t n,
@@ -3313,6 +3315,8 @@ __YICES_DLLSPEC__ extern smt_status_t yices_mcsat_set_fixed_var_order(context_t
  *
  * If the context does not have the MCSAT solver enabled
  *   code = CTX_OPERATION_NOT_SUPPORTED
+ *
+ * Since 2.6.5
  */
 __YICES_DLLSPEC__ extern smt_status_t yices_mcsat_set_initial_var_order(context_t *ctx,
                                                                         uint32_t n,