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).
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).