Use cvc5 cosmocc build.

sireum · Jan 25, 2025 · 3c3740c · 3c3740c
1 parent 5812252
commit 3c3740c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jvm/src/main/scala/org/sireum/logika/Smt2Invoke.scala b/jvm/src/main/scala/org/sireum/logika/Smt2Invoke.scala
@@ -54,7 +54,7 @@ object Smt2Invoke {
     val platformHome = sireumHome / "bin" / platform
     return HashMap.empty[String, String] ++ ISZ[(String, String)](
       "cvc4" ~> (platformHome / "cvc").string,
-      "cvc5" ~> (platformHome / "cvc5").string,
+      "cvc5" ~> (sireumHome / "bin" / "cvc5.com").string,
       "z3" ~> (sireumHome / "bin" / "z3" / "bin" / "z3.com").string
     ) ++ (for (p <- (platformHome / ".opam").list if (p / "bin" / "alt-ergo").exists) yield
       "alt-ergo" ~> (p / "bin" / "alt-ergo").string)