feat: support for snapshot cheatcodes (#427) #1246
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Test | |
| on: | |
| push: | |
| branches: [main, chore-workflows] | |
| pull_request: | |
| branches: [main] | |
| workflow_dispatch: | |
| inputs: | |
| halmos-options: | |
| description: "additional halmos options" | |
| required: false | |
| type: string | |
| default: "" | |
| pytest-options: | |
| description: "additional pytest options" | |
| required: false | |
| type: string | |
| default: "" | |
| jobs: | |
| test: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: ["macos-latest", "ubuntu-latest", "windows-latest"] | |
| python-version: ["3.11", "3.12", "3.13"] | |
| storage-layout: ["solidity", "generic"] | |
| cache-solver: ["", "--cache-solver"] | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v4 | |
| with: | |
| # note: it is faster to let foundry do a sparse checkout of the missing libraries rather than having the action do a git checkout of the submodules | |
| submodules: false | |
| - name: Install foundry | |
| uses: foundry-rs/foundry-toolchain@v1 | |
| - name: Install uv | |
| uses: astral-sh/setup-uv@v4 | |
| with: | |
| # Install a specific version of uv. | |
| version: "0.5.6" | |
| - name: Set up python ${{ matrix.python-version }} | |
| run: uv python install ${{ matrix.python-version }} | |
| - name: Install halmos and its dependencies | |
| run: | | |
| uv sync --extra dev | |
| - name: Run pytest | |
| run: uv run pytest -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-st --disable-gc --solver-threads 1 --storage-layout ${{ matrix.storage-layout }} ${{ matrix.cache-solver }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }} |