Skip to content

perf: single solver shared by multiple paths #216

perf: single solver shared by multiple paths

perf: single solver shared by multiple paths #216

Workflow file for this run

name: Test external projects
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
test:
runs-on: macos-latest
strategy:
fail-fast: false
matrix:
include:
- repo: "morpho-org/morpho-data-structures"
dir: "morpho-data-structures"
cmd: "halmos --function testProve --loop 4 --symbolic-storage"
branch: ""
- repo: "a16z/cicada"
dir: "cicada"
cmd: "halmos --contract LibUint1024Test --function testProve --loop 256"
branch: ""
- repo: "a16z/cicada"
dir: "cicada"
cmd: "halmos --contract LibPrimeTest --function testProve --loop 256"
branch: ""
# - repo: "farcasterxyz/contracts"
# dir: "farcaster-contracts"
# cmd: "halmos"
# branch: ""
- repo: "zobront/halmos-solady"
dir: "halmos-solady"
cmd: "halmos --function testCheck"
branch: ""
steps:
- name: Checkout
uses: actions/checkout@v3
with:
path: halmos
# we won't be needing tests/lib for this workflow
submodules: false
- name: Checkout external repo
uses: actions/checkout@v3
with:
repository: ${{ matrix.repo }}
path: ${{ matrix.dir }}
ref: ${{ matrix.branch }}
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
- name: Install Halmos
run: python -m pip install -e ./halmos
- name: Test external repo
run: ${{ matrix.cmd }} -v -st --error-unknown --solver-timeout-assertion 0
working-directory: ${{ matrix.dir }}