[erlang-questions] Spec is diabolical IMHO

[Raoul Duke]

On Thu, Sep 27, 2012 at 4:57 PM, Raoul Duke <raould@REDACTED> 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.