[erlang-questions] Call for bugs
Fri Jun 13 16:02:42 CEST 2014
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:
On Fri, Jun 13, 2014 at 7:57 AM, Salvador Tamarit <
> Hi all,
> 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.
> Thanks in advance for your collaboration.
> Salvador Tamarit
> erlang-questions mailing list
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-questions