Data-race challenges extracted from benchmarks

goblint / bench

The benchmark suite

4 stars 5 forks source link

Data-race challenges extracted from benchmarks #63

Closed sim642 closed 6 months ago

sim642 commented 8 months ago

This contains the data-race challenges originally added to https://github.com/goblint/analyzer/pull/1178. Since we don't plan to immediately solve them in Goblint but use them to benchmark many tools, this repository is more appropriate and can carry all the BenchExec setup along.

TODO

[x] Add racy versions for all challenges if possible.

sim642 commented 6 months ago

These were already accepted to sv-benchmarks, so they're in good enough state to have here as well.