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