From 374085b7bbc1506519e8cb05d265dfd0e7ed8ff7 Mon Sep 17 00:00:00 2001
From: butterunderflow <azhong.934@gmail.com>
Date: Wed, 8 Apr 2026 18:58:13 -0400
Subject: [PATCH] fix test on macOS

---
 .gitignore                                           | 3 +++
 src/test/scala/genwasym/CppCompilationTestBase.scala | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 7ba5bd924..1ad84c2b5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,8 @@
 *.bc
 *.jar
 *.o
+*.exe
+*.dot
 .idea
 .metals
 .vscode
@@ -14,6 +16,7 @@ klee-out-*
 gs_gen
 output
 benchmarks/**/*.ll
+benchmarks/**/*.wat.cpp
 .bloop
 project/project
 project/metals.sbt
diff --git a/src/test/scala/genwasym/CppCompilationTestBase.scala b/src/test/scala/genwasym/CppCompilationTestBase.scala
index 61d34a701..8211bab2f 100644
--- a/src/test/scala/genwasym/CppCompilationTestBase.scala
+++ b/src/test/scala/genwasym/CppCompilationTestBase.scala
@@ -14,6 +14,7 @@ abstract class CppCompilationTestBase extends FunSuite {
     val fromRepo = firstExistingDir(
       Seq(
         "./third-party/z3/build/z3_install/include",
+        "./third-party/z3/build/z3_install/usr/local/include",
         "./third-party/z3/src/api/c++"
       )
     )
@@ -26,7 +27,7 @@ abstract class CppCompilationTestBase extends FunSuite {
 
   protected lazy val z3LibDir: String = {
     val fromEnv = sys.env.get("Z3_LIB_DIR")
-    val fromRepo = firstExistingDir(Seq("./third-party/z3/build/z3_install/lib"))
+    val fromRepo = firstExistingDir(Seq("./third-party/z3/build/z3_install/lib", "./third-party/z3/build/z3_install/usr/local/lib"))
     fromEnv.orElse(fromRepo).getOrElse {
       throw new RuntimeException(
         "Cannot locate Z3 library directory. Set Z3_LIB_DIR or build third-party/z3."