ConcurrentWitness2Test validates violation witnesses for the ConcurrencySafety category at SV-COMP.
Minimal necessary packages for Ubuntu 24.04 LTS:
- python3
CONTRIBUTORS.md -- code contributors to the project
LICENSE -- apache 2.0 license
README.md -- this README
main.py -- main python entrypoint
requirements.txt -- python dependencies (included in venv)
start.sh -- script to start the validation process
svcomp.c -- test harness
tweaks.py -- additional source file
witness2ast.py -- additional source file
Run ./start.sh <preprocessed-c-file> --witness <witnessfile> --mode <strict/normal/permissive> to validate a violation witness.
For more information on how the validation works, check out our SV-COMP 2023 tool paper and slides.
-lightgrey){kind=icon}
