Enforce upper bound on loop count on all instructions in loops #1309

	# Copyright (c) Prevail Verifier contributors.
	# SPDX-License-Identifier: MIT
	---
	name: CPP Code Coverage

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

	jobs:
	build_ubuntu:
	strategy:
	matrix:
	configurations: [Debug, Release]
	runs-on: ubuntu-latest
	env:
	# Configuration type to build. For documentation on how build matrices work, see
	# https://docs.github.com/actions/learn-github-actions/managing-complex-workflows#using-a-build-matrix
	BUILD_CONFIGURATION: ${{matrix.configurations}}

	steps:
	- name: Install dependencies
	run: \|
	sudo apt install libboost-dev libboost-filesystem-dev libboost-program-options-dev libyaml-cpp-dev lcov
	pip install gcovr

	- uses: actions/checkout@v4
	with:
	submodules: 'recursive'

	- name: Build
	run: \|
	mkdir build
	cmake -B build -DCMAKE_BUILD_TYPE=${{env.BUILD_CONFIGURATION}} -DCMAKE_CXX_FLAGS="--coverage -fprofile-arcs -ftest-coverage -g"
	cmake --build build -j $(nproc)

	- name: Run unit tests
	run: ./tests --abort --reporter compact

	- name: Generate code coverage report
	run: \|
	mkdir coverage
	lcov --capture --directory build --include '/ebpf-verifier/src/' --output-file coverage/lcov.info

	- name: Coveralls Parallel
	uses: coverallsapp/github-action@master
	with:
	github-token: ${{ secrets.github_token }}
	flag-name: run-${{ matrix.configurations }}
	parallel: true

	finish:
	needs: build_ubuntu
	runs-on: ubuntu-20.04
	steps:
	- name: Coveralls Finished
	uses: coverallsapp/github-action@master
	with:
	github-token: ${{ secrets.github_token }}
	parallel-finished: true

Provide feedback