Coverage analysis

Peter-Henry Mander erlang@REDACTED
Wed Sep 25 09:09:43 CEST 2002

Hi everyone,

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 mailing list