Skip to content

mostly cosmetic changes wrt. storage layout handling #129

mostly cosmetic changes wrt. storage layout handling

mostly cosmetic changes wrt. storage layout handling #129

Workflow file for this run

name: Test long
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
test:
runs-on: macos-latest
strategy:
fail-fast: false
matrix:
include:
- testname: "examples/tokens/ERC20"
- testname: "examples/tokens/ERC721"
steps:
- uses: actions/checkout@v3
with:
submodules: recursive
- name: Install Foundry
uses: foundry-rs/foundry-toolchain@v1
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install pytest
- name: Install Halmos
run: pip install -e .
- name: Run pytest
run: pytest -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0"