test-long.yml: install halmos

a16z · May 31, 2024 · 007c62c · 007c62c
1 parent c101af3
commit 007c62c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -7,7 +7,7 @@ on:
 
 jobs:
   test:
-    runs-on: ubuntu-latest 
+    runs-on: ubuntu-latest
     container: ghcr.io/emperororokusaki/solvers:0.1.0
 
     strategy:
@@ -25,6 +25,10 @@ jobs:
         with:
           submodules: recursive
 
+      - name: Install halmos
+        run: |
+          python3 -m pip install -e .
+
       - name: Run Pytest
         run: |
           pytest -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options='-v -st --solver-timeout-assertion 0 --solver-threads 6 --solver-command=yices-smt2' -s --log-cli-level=