ci: fix halmos invocation

--error-unknown has been removed from recent releases
a16z · May 22, 2024 · e98623f · e98623f
1 parent bb592cc
commit e98623f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -41,7 +41,7 @@ jobs:
         uses: actions/setup-python@v4
         with:
           python-version: "3.11"
-      
+
       - name: Install dependencies
         run: pip install argparse eth_abi halmos
 
@@ -51,5 +51,5 @@ jobs:
         id: test-ref
 
       - name: Run Halmos
-        run: halmos --function testProve --loop 256 --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0
+        run: halmos --function testProve --loop 256 --test-parallel --solver-parallel --solver-timeout-assertion 0
         id: test-halmos