feat: add a way to override solver's executable (#29)

Veridise · Dec 11, 2023 · c278da0 · c278da0
1 parent a011857
commit c278da0
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/changelogs/unreleased/23-12-11-override-solver.yaml b/changelogs/unreleased/23-12-11-override-solver.yaml
@@ -0,0 +1,3 @@
+added:
+  - Added the ability to override the solver's executable
+    by using the environment variable `SOLVER_PATH`
diff --git a/picus/solver-helper.rkt b/picus/solver-helper.rkt
@@ -21,9 +21,9 @@
   (picus:log-debug "[solver] smt path: ~a" temp-path)
   (picus:log-progress "[solver] solving...")
   (define-values (sp out in err)
-    ; (note) use `apply` to expand the last argument
-    ; (apply subprocess #f #f #f (find-executable-path "cvc5") (list temp-path))
-    (apply subprocess #f #f #f (find-executable-path executable) temp-path options))
+    (apply subprocess #f #f #f
+           (or (getenv "SOLVER_PATH") (find-executable-path executable))
+           temp-path options))
 
   (close-output-port in)