Skip to content

Test long

Test long #321

Workflow file for this run

name: Test long
on:
push:
branches: [main]
workflow_dispatch:
inputs:
halmos-options:
description: "additional halmos options"
required: false
type: string
default: ""
jobs:
test:
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
cache-solver: ["", "--cache-solver"]
testname:
- "tests/solver"
- "examples/simple"
- "examples/tokens/ERC20"
- "examples/tokens/ERC721"
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: recursive
- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Build image
run: |
docker build -t halmos . --file packages/halmos/Dockerfile
- name: Run Pytest
run: |
docker run -v .:/workspace --entrypoint pytest halmos -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options='-st --solver-timeout-assertion 0 --solver-threads 4 --solver-command yices-smt2 ${{ matrix.cache-solver }} ${{ inputs.halmos-options }}' -s --log-cli-level=