GobExec – because BenchExec is not enough
- Ensure that you are using Python 3.10 or higher.
- Install Goblint.
- Install Goblint benchmark suite.
To ensure that you have installed everything correctly, run test.py within the GobExec directory
python3 test.py
The generated output file GobExec/out.html can be viewed via your browser of choice