<div dir="ltr"><div>Thanks for your answers. They have been very helpful. If you have more bugs, please send them to us. </div><div><br></div><div>Shayan and Anthony, we will add you in the acknowledgements section of a paper that we are writing about the tool.</div>

<div><br></div><div>Thanks again!</div><div>Salvador Tamarit</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-06-13 17:00 GMT+02:00 Anthony Ramine <span dir="ltr"><<a href="mailto:n.oxyde@gmail.com" target="_blank">n.oxyde@gmail.com</a>></span>:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><a href="http://erlang.org/pipermail/erlang-bugs/2014-May/004408.html" target="_blank">http://erlang.org/pipermail/erlang-bugs/2014-May/004408.html</a><br>


<a href="https://github.com/nox/otp/commit/a10a7979887403ea61c30155cef18aa7324420a6" target="_blank">https://github.com/nox/otp/commit/a10a7979887403ea61c30155cef18aa7324420a6</a><br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Anthony Ramine<br>
<br>
Le 13 juin 2014 à 13:57, Salvador Tamarit <<a href="mailto:stamarit@babel.ls.fi.upm.es">stamarit@babel.ls.fi.upm.es</a>> a écrit :<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
> Hi all,<br>
><br>
> we are working in an alternative debugger for Erlang based on the concept of declarative debugging. We have found some difficulties finding interesting buggy programs to test our tool, so we think that maybe you all can help us in this. We will need examples of buggy functions or modules or, if it exits, a place where there is a collection of them. Also any bug that you remember that was difficult to solve in order to try to reproduce it again in a new program. We are more interested in bugs that Dialyzer can't find, because the intention of the tool is to help to find bugs after running Dialyzer.<br>


><br>
> Thanks in advance for your collaboration.<br>
> Salvador Tamarit<br>
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> erlang-questions mailing list<br>
> <a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
> <a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
<br>
_______________________________________________<br>
erlang-questions mailing list<br>
<a href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><br>
<a href="http://erlang.org/mailman/listinfo/erlang-questions" target="_blank">http://erlang.org/mailman/listinfo/erlang-questions</a><br>
</div></div></blockquote></div><br></div>