Skip to content

pin solc to 0.8.25 to avoid stack too deep errors #9

pin solc to 0.8.25 to avoid stack too deep errors

pin solc to 0.8.25 to avoid stack too deep errors #9

Workflow file for this run

name: test
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
env:
FOUNDRY_PROFILE: ci
jobs:
check:
strategy:
fail-fast: true
name: Foundry project
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
with:
version: nightly
- name: Run Forge build
run: |
forge --version
forge build --sizes
id: build
- name: Run Forge tests
run: |
forge test -vvv --no-match-test testRef
id: test
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install dependencies
run: pip install argparse eth_abi halmos
- name: Run Python reference tests
run: |
forge test -vvv --ffi --match-test testRef
id: test-ref
- name: Run Halmos
run: halmos --function testProve --loop 256 --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0
id: test-halmos