Investigate races and deadlock benchmarks used by DarC #56
Description
DarC is a project out of Brno that implements a data race detector as a plugin to Infer.
In some writeup for a student competition https://excel.fit.vutbr.cz/submissions/2023/014/14.pdf, they mention two repositories of benchmarks that they have used:
- https://github.com/marchartung/DataRaceBenchmark
- https://github.com/svobodovaLucie/ConcurrencyBenchmark
It might be worth investigating if we can use them. For the second one, I'll open an issue to see if they are interested in contributing them to sv-comp. (svobodovaLucie/ConcurrencyBenchmark#2)