The source project of this merge request has been removed.
Add concurrentwitness2test-violation-validator.xml
We plan to submit a new validator for violation witnesses in the ConcurrencySafety category. This PR adds the benchmark definition for this new tool. The tool definition module has been submitted as a PR (https://github.com/sosy-lab/benchexec/pull/946), whose merge is required for this new tool to work.
Also, I found no place to put the validator itself, so I submitted it to Zenodo, the same as the verifiers this year: 10.5281/zenodo.10063988
Let me know, if there is a better place!
Edited by Levente Bajczi