feat: support vm.getBlockNumber cheatcode (#325) #332

	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=

Provide feedback