I'm not sure if this is as nuanced as what you're looking for, but the test suite for enclosed-exceptions involves provoking very particular concurrent circumstances.

https://github.com/jcristovao/enclosed-exceptions/blob/master/test/main.hs

-- Dan Burton

On Fri, May 15, 2015 at 6:14 AM, Michael Walker <mike@barrucadu.co.uk> wrote:
Hi cafe,

I've been working on a little library for testing concurrent Haskell programs,
and would really like some test cases not constructed by myself to throw it at.
If anyone has any examples of buggy concurrency (preferably where it's tricky to
provoke the bugs with conventional testing techniques) that I could use: either
open bugs, or things which have been fixed but were awkward to do so, that would
be really useful.

This is leading up to a paper, hopefully, so examples may go into that:
anonymously, if preferred.

Thank you.

--
Michael Walker (http://www.barrucadu.co.uk)

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe