Wed Sep 25 09:09:43 CEST 2002
Do you know of code analysis tools for Erlang? I had heard of a research
project aimed at proving program correctness, but I don't remember where
to find it. What I'm looking for primarily is something that will simply
do static and dynamic code coverage, telling me if there's untested
code, or "dead wood" in a program. Is such a thing available under a GNU
or BSD licence?
More information about the erlang-questions