<div dir="ltr">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.<div><br></div><div><a href="https://github.com/jcristovao/enclosed-exceptions/blob/master/test/main.hs">https://github.com/jcristovao/enclosed-exceptions/blob/master/test/main.hs</a><br></div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature">-- Dan Burton</div></div>
<br><div class="gmail_quote">On Fri, May 15, 2015 at 6:14 AM, Michael Walker <span dir="ltr"><<a href="mailto:mike@barrucadu.co.uk" target="_blank">mike@barrucadu.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi cafe,<br>
<br>
I've been working on a little library for testing concurrent Haskell programs,<br>
and would really like some test cases not constructed by myself to throw it at.<br>
If anyone has any examples of buggy concurrency (preferably where it's tricky to<br>
provoke the bugs with conventional testing techniques) that I could use: either<br>
open bugs, or things which have been fixed but were awkward to do so, that would<br>
be really useful.<br>
<br>
This is leading up to a paper, hopefully, so examples may go into that:<br>
anonymously, if preferred.<br>
<br>
Thank you.<br>
<br>
--<br>
Michael Walker (<a href="http://www.barrucadu.co.uk" target="_blank">http://www.barrucadu.co.uk</a>)<br>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>