Reproduction Package for ASE 2023 Submission `Improving Verification through Compiler Optimizations'

<strong>Artifact</strong> In order to run this artifact please clone sv-benchmarks into this folder. Afterwards you can just run the program using the running instructions down below. The results used in the paper can be found in the folder <code>transformation-for-verification-data</code>. <strong>Setup</strong> In order to setup this project, first initialize the submodules or clone this repository with the flag <code>--recursive</code>. Afterwards execute <code>python3 src/setup.py</code> in this directory, in order to add the required files to the submodules. <strong>Running</strong> In order to run this locally inside <code>./src</code> <pre><code>./main_bench.py --specification specification/path.prp program/to/verify.c</code></pre> For example: <pre><code>./main_bench.py --specification ../setup-files/test-run/unreach-call.prp ../setup-files/test-run/test_program.c </code></pre> In order to execute with benchexec, execute the following insider <code>./src</code>, after adapting <code>bench.xml</code> to suit your purposes: <pre><code>./benchmark_local.sh</code></pre>