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