Contribute tests to sv-benchmarks / Compete in SV-Comp

[michael-schwarz]

Hi there,

I just stumbled across your set of benchmarks via Google Scholar. It's nice to see new work in the area of race detection happening.

I contribute to a system called Goblint, which also targets the analysis of multi-threaded C.
Last year, SV-Comp got a new property for NoDataRace. It would be very nice to see how your new approach compares to the existing tools that are capable of doing data race detection. https://sv-comp.sosy-lab.org/2023/results/results-verified/no-data-race.NoDataRace-Main.table.html#/

Even if competing there is too much work for now, we would greatly appreciate if you are willing to contribute your benchmarks to the repository used for SV-Comp, as the number of data race benchmarks is still quite low there. (https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks)