<div dir="ltr"><div><div>Hello,<br><br>I occasionally see some errors that I am a little surprised that dialyzer did not catch. For example these commits are fixing some issues that could have been caught by type analysis but dialyzer did not catch them:<br>
</div><br>1. <a href="https://github.com/discoproject/disco/commit/78e388020">https://github.com/discoproject/disco/commit/78e388020</a><br></div>2. <a href="https://github.com/discoproject/disco/commit/57953a9d29420">https://github.com/discoproject/disco/commit/57953a9d29420</a><br>
<div>3. <a href="https://github.com/discoproject/disco/commit/8550179b5efb44">https://github.com/discoproject/disco/commit/8550179b5efb44</a><br>4. <a href="https://github.com/discoproject/disco/commit/1b7bfc4161f37">https://github.com/discoproject/disco/commit/1b7bfc4161f37</a><br>
<br><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jun 13, 2014 at 7:57 AM, Salvador Tamarit <span dir="ltr"><<a href="mailto:stamarit@babel.ls.fi.upm.es" target="_blank">stamarit@babel.ls.fi.upm.es</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi all,<div><br></div><div>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. </div>


<div><br></div><div>Thanks in advance for your collaboration. </div><span class="HOEnZb"><font color="#888888"><div>Salvador Tamarit</div></font></span></div>
<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>
<br></blockquote></div><br></div>