Create iprover_smtcomp.sh #156

	name: TestSolver

	on:
	pull_request:
	paths:
	- submissions/*.json

	jobs:
	generate-test-script:
	runs-on: ubuntu-latest
	steps:
	- name: Check out
	uses: actions/checkout@v3

	- uses: actions/cache@v3
	with:
	path: ~/.cache/pre-commit
	key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}

	- name: Set up the environment
	uses: ./.github/actions/setup-poetry-env

	- name: Compute changed files
	id: changed-files
	uses: tj-actions/changed-files@v41
	with:
	files: \|
	submissions/*.json

	- name: Generate script
	run: \|
	poetry run smtcomp generate-test-script test_data/ ${{ steps.changed-files.outputs.all_changed_files }}
	rm -rf test_data/download

	- name: Archive directory
	run: tar -cf test_data.tar test_data

	- name: Upload generated test script
	uses: actions/upload-artifact@v4
	with:
	name: generated_script
	path: test_data.tar

	run-test-script:
	needs: generate-test-script
	runs-on: ubuntu-latest
	container: registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:latest
	steps:
	- name: Download generated test script
	uses: actions/download-artifact@v4
	with:
	name: generated_script

	- name: Unarchive
	run: tar -xf test_data.tar

	- name: Run test script
	run: python3 test_data/test_script.py

Provide feedback