fix: bitwise opcode semantics #167

	name: Test external projects

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

	jobs:
	test:
	runs-on: macos-latest

	strategy:
	fail-fast: false
	matrix:
	include:
	- repo: "morpho-org/morpho-data-structures"
	dir: "morpho-data-structures"
	cmd: "halmos --function testProve --loop 4 --symbolic-storage"
	branch: ""
	- repo: "a16z/cicada"
	dir: "cicada"
	cmd: "halmos --contract LibUint1024Test --function testProve --loop 256"
	branch: ""
	- repo: "a16z/cicada"
	dir: "cicada"
	cmd: "halmos --contract LibPrimeTest --function testProve --loop 256"
	branch: ""
	- repo: "farcasterxyz/contracts"
	dir: "farcaster-contracts"
	cmd: "halmos"
	branch: ""
	- repo: "zobront/halmos-solady"
	dir: "halmos-solady"
	cmd: "halmos --function testCheck"
	branch: ""

	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	path: halmos
	# we won't be needing tests/lib for this workflow
	submodules: false

	- name: Checkout external repo
	uses: actions/checkout@v3
	with:
	repository: ${{ matrix.repo }}
	path: ${{ matrix.dir }}
	ref: ${{ matrix.branch }}
	submodules: recursive

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

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

	- name: Install dependencies
	run: python -m pip install --upgrade pip

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

	- name: Test external repo
	run: ${{ matrix.cmd }} -v -st --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0
	working-directory: ${{ matrix.dir }}

Provide feedback