ci(test-external): use yices2 that is more stable in docker

a16z · Aug 13, 2024 · ca01213 · ca01213
1 parent f7ff1f8
commit ca01213
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -27,27 +27,27 @@ jobs:
             profile: ""
           - repo: "a16z/cicada"
             dir: "cicada"
-            cmd: "--contract LibUint1024Test --function testProve --loop 256 --solver-command yices-smt2"
+            cmd: "--contract LibUint1024Test --function testProve --loop 256"
             branch: ""
             profile: ""
           - repo: "a16z/cicada"
             dir: "cicada"
-            cmd: "--contract LibPrimeTest --function testProve --loop 256 --solver-command bitwuzla"
+            cmd: "--contract LibPrimeTest --function testProve --loop 256"
             branch: ""
             profile: ""
           - repo: "farcasterxyz/contracts"
             dir: "farcaster-contracts"
-            cmd: "--solver-command yices-smt2"
+            cmd: ""
             branch: ""
             profile: ""
           - repo: "zobront/halmos-solady"
             dir: "halmos-solady"
-            cmd: "--function testCheck --solver-command yices-smt2"
+            cmd: "--function testCheck"
             branch: ""
             profile: ""
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml --solver-command yices-smt2"
+            cmd: "--config test/halmos.toml"
             branch: ""
             profile: "halmos"
 
@@ -87,7 +87,7 @@ jobs:
         run: docker run halmos-image --version
 
       - name: Test external repo
-        run: docker run -v .:/workspace halmos-image ${{ matrix.project.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 4 ${{ matrix.cache-solver }} ${{ inputs.halmos-options }}
+        run: docker run -v .:/workspace halmos-image ${{ matrix.project.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 4 --solver-command yices-smt2 ${{ matrix.cache-solver }} ${{ inputs.halmos-options }}
         working-directory: ${{ matrix.project.dir }}
         env:
           FOUNDRY_PROFILE: ${{ matrix.project.profile }}