test: add token examples #281

	name: Test

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

	jobs:
	test:
	runs-on: ${{ matrix.os }}

	strategy:
	matrix:
	os: ["macos-latest", "ubuntu-latest", "windows-latest"]
	python-version: ["3.8", "3.9", "3.10", "3.11", "3.8.13", "3.9.13", "3.10.6"]
	parallel: ["", "--test-parallel", "--solver-parallel", "--test-parallel --solver-parallel"]
	exclude:
	# python 3.8.13 is not available in windows-2022
	- os: "windows-latest"
	python-version: "3.8.13"

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

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

	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}

	- 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 -k "not long" --halmos-options="-v -st --error-unknown ${{ matrix.parallel }} --solver-timeout-assertion 0"

Provide feedback