Merge pull request #6 from a16z/ci/halmos

ci: update halmos command for v0.1.0
a16z · Jul 26, 2023 · 5cc3cb8 · 5cc3cb8
2 parents c4dde77 + fde7154
commit 5cc3cb8
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -39,10 +39,8 @@ jobs:
           python-version: "3.11"
 
       - name: Install Halmos
-        run: pip install git+https://github.com/a16z/halmos
+        run: pip install halmos
 
       - name: Run Halmos
-        run: |
-          halmos -v -st --contract LibUint1024Test --function testProve --loop 256 --test-parallel --solver-parallel --solver-timeout-assertion 80000
-          halmos -v -st --contract LibPrimeTest --function testProve --loop 256 --test-parallel
+        run: halmos --function testProve --loop 256 --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0
         id: test-halmos