Merge pull request #8 from a16z/pin-solc

pin solc to 0.8.25 to avoid stack too deep errors
a16z · May 23, 2024 · 1d39e17 · 1d39e17
2 parents 8742d6b + e98623f
commit 1d39e17
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 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
diff --git a/foundry.toml b/foundry.toml
@@ -4,4 +4,7 @@ out = 'out'
 libs = ['lib']
 via_ir = true
 
-# See more config options https://github.com/foundry-rs/foundry/tree/master/config
+# workaround for stack too deep errors with 0.8.26 https://github.com/ethereum/solidity/issues/14358
+solc = "0.8.25"
+
+# See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options