Validation via the provided python-script (`witness_validation_web_cloud.py`) is broken
Created by: MartinSpiessl
The script actually belongs to CPAchecker and has been modified since it was added here, i.e., both versions diverged. Currently the version in this repository is not working anymore.
Using the script from a CPAchecker checkout still works.
We cannot simply update the script in this repository to the version in the CPAchecker repository, because it has gotten a dependency on benchexec in the meanwhile, so we would either have to add a benchexec whl file, download it upon script execution or expect (the right version of) benchexec to be installed in the user's python environment. Even if one of those solutions were acceptable, it is still a bad idea to duplicate code, because it will add additional maintenance effort every time the script changes upstream.
I propose to remove the script in this repository and replace any mention of that script in the README.md by a link to the CPAchecker version. This gets rid of the code duplication and eases maintenance.