From 3a3c2d19818d338b87ccbbf972ba94ebf35fe21f Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Mon, 11 Sep 2023 16:48:04 -0700
Subject: [PATCH] add separate ci for ffi tests

---
 .github/workflows/test-ffi.yml | 41 ++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 .github/workflows/test-ffi.yml

diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml
new file mode 100644
index 00000000..262d4df2
--- /dev/null
+++ b/.github/workflows/test-ffi.yml
@@ -0,0 +1,41 @@
+name: Test FFI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+
+jobs:
+  test:
+    runs-on: macos-latest
+
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+        - testname: "ffi:tests"
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: "3.11"
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install pytest
+
+      - name: Install Halmos
+        run: pip install -e .
+
+      - name: Run pytest
+        run: pytest -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="--ffi -v -st --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0"