DLL loops to address(0) #344

	name: Foundry CI

	on:
	push:
	branches:
	- main
	pull_request:
	workflow_dispatch:

	jobs:
	tests:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	submodules: recursive

	- uses: actions/setup-python@v4
	with:
	python-version: "3.11"

	- uses: actions/setup-node@v3
	with:
	node-version: 16
	cache: yarn

	- name: Install dependencies
	run: yarn install --frozen-lockfile

	- name: Install Foundry
	uses: onbjerg/foundry-toolchain@v1
	with:
	version: nightly

	- name: Foundry compilation cache
	uses: actions/cache@v3
	with:
	path: \|
	out
	cache
	key: compilation-${{ github.base_ref \|\| github.ref_name }}

	- name: Run tests
	run: forge test

	- name: Install halmos
	run: python3 -m pip install --upgrade halmos

	- name: Run halmos
	run: halmos --function testProve --loop 4 --symbolic-storage --test-parallel --solver-parallel --solver-timeout-assertion 0

Provide feedback