Open michael-schwarz opened 1 year ago
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:
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. (https://github.com/svobodovaLucie/ConcurrencyBenchmark/issues/2)
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:
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. (https://github.com/svobodovaLucie/ConcurrencyBenchmark/issues/2)