Merge dev branch into main #17

	name: CMake

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

	env:
	BUILD_TYPE: Debug

	jobs:
	build:
	# The CMake configure and build commands are platform agnostic and should work equally well on Windows or Mac.
	# You can convert this to a matrix build if you need cross-platform coverage.
	# See: https://docs.github.com/en/free-pro-team@latest/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3

	- name: Configure CMake
	run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} -DDYNAMORIO_SOURCES=OFF

	- name: Build
	run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}

	- name: Install CBMC (for tests)
	run: sudo apt install cbmc

	- name: Test
	working-directory: ${{github.workspace}}/build
	# Execute tests defined by the CMake configuration.
	# See https://cmake.org/cmake/help/latest/manual/ctest.1.html for more detail
	run: ctest -V -C ${{env.BUILD_TYPE}}

Provide feedback