search

goblint / bench

The benchmark suite
4 stars 5 forks source link

Creating demonstrators for GobPie #22

Open vesalvojdani opened 2 years ago

vesalvojdani commented 2 years ago

A more urgent version of #21. There may be long-term value in creating a proper CVE benchmark suite, but the focus now should be on just having 4-5 nice examples of races being detected and removed in the IDE. We might be able to extract these demos from ldv-commit-races.

sim642 commented 2 years ago

We might be able to extract these demos from ldv-commit-races.

I'd say ldv-commit-races are off the table: https://github.com/goblint/bench/issues/3#issuecomment-1056675513. At best one might be able to take those commit hashes and try to run Goblint on the before vs after code directly, instead of the ldv-benchmarks versions of the code.