Assertion to check underapproximation when resolving indirect calls #417

	name: Run Examples
	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main
	workflow_dispatch:
	jobs:
	CompileAndTest:
	runs-on: ubuntu-latest
	container:
	# Requires repo to have action access in package settings
	image: ghcr.io/uq-pac/basil-dev:latest
	credentials:
	username: ${{ github.actor }}
	password: ${{ secrets.github_token }}
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Compile BASIL
	run: ./mill compile

	- name: Bitvec Tests
	run: ./mill test.testOnly BitVectorAnalysisTests

	- name: IntrusiveListTest
	run: ./mill test.testOnly '*IntrusiveListPublicInterfaceTest'

	- name: System Tests
	run: ./mill test.testOnly *SystemTests -- -z basic_assign_increment/gcc_no_plt_no_pic -z basic_assign_increment/clang_no_plt_no_pic -z secret_write/gcc_no_plt_no_pic

	SystemTests:
	runs-on: ubuntu-latest
	container:
	# Requires repo to have action access in package settings
	image: ghcr.io/uq-pac/basil-dev:latest
	credentials:
	username: ${{ github.actor }}
	password: ${{ secrets.github_token }}
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: System Tests
	run: ./mill test.testOnly 'SystemTests' \|\| true

	- uses: actions/upload-artifact@v4
	with:
	name: testresult-${{ github.run_number }}
	path: src/test/*.csv

	- run: tail -n+1 src/test/summary-*.csv

Provide feedback