feat: --solver-command lets user replace z3 invocations #48

	name: Test long

	on:
	push:
	branches: [main]
	# pull_request:
	# branches: [main]
	workflow_dispatch:

	jobs:
	test:
	runs-on: macos-latest

	strategy:
	fail-fast: false
	matrix:
	include:
	- testname: "tests/solver"
	- testname: "examples/simple"
	- testname: "examples/tokens/ERC20"
	- testname: "examples/tokens/ERC721"

	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive

	- name: Install Foundry
	uses: foundry-rs/foundry-toolchain@v1

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.11"

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	python -m pip install pytest

	- name: Install Halmos
	run: python -m pip install -e .

	- name: Run pytest
	run: pytest -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --solver-timeout-assertion 0 --solver-threads 2" -s --log-cli-level=

Provide feedback