[erlang-questions] Spec is diabolical IMHO

Raoul Duke <>
Fri Sep 28 01:59:11 CEST 2012


On Thu, Sep 27, 2012 at 4:57 PM, Raoul Duke <> wrote:
> (* and even then the proving-a-negative-thing is philosophically
> unsolvable in the general sense, no?)

p.s. i'm not saying code coverage tools can't look into things like
your specific example, just that in the widest sense of 'proving a
negative' it sounds to me like the philosophical induction black swan
issue.



More information about the erlang-questions mailing list