ci: refactor ffi test script

a16z · Sep 12, 2023 · 7d21ab1 · 7d21ab1
1 parent 95eb53e
commit 7d21ab1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 42 deletions.
diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -15,7 +15,11 @@ jobs:
       matrix:
         include:
         - testname: "examples/tokens/ERC20"
+          testopts: ""
         - testname: "examples/tokens/ERC721"
+          testopts: ""
+        - testname: "ffi:tests"
+          testopts: "--ffi"
 
     steps:
       - uses: actions/checkout@v3
@@ -39,4 +43,4 @@ jobs:
         run: pip install -e .
 
       - name: Run pytest
-        run: pytest -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0"
+        run: pytest -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0 ${{ matrix.testopts }}"