CProver deadlock benchmarks
Opened this issue · 0 comments
sim642 commented
As @michael-schwarz mentioned on Zulip, there's a set of deadlock benchmarks on pthreads available at http://www.cprover.org/deadlock-detection/. They originate from Debian packages.
Based on a quick look, it appears that they've been converted back to C programs from goto-cc (and the whole Debian package analysis business).