Merge pull request #8 from a16z/pin-solc

pin solc to 0.8.25 to avoid stack too deep errors

Author: moodlezoup

.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

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