Re: [Jack-Devel] [LAU] jack2 turned verbose

On 06/01/2012 09:54 PM, Nedko Arnaudov wrote:
>
> Nedko, does your advice to use -O0 only concern Jack or everything?
> I'm compiling lots of software here, usually -O2 usually doesn't seem
> to cause problems.
> YMMV. Default compiler in my distro (Gentoo) works properly. jack also
> "works", until you find that it misbehaves. You can only be sure if you
> have tests that cover 100% of the code. Neither jack1 nor jack2 have
> such.
>
>

100% code coverage in tests does not guarantee all bugs are found. You 
also need to test 100% of all possible input/output pairs.. Example: I 
have a function that calculates some mathematical function and has a 
conditional branch somewhere in it. Now I write two tests (one 
input/output pair each to compare against) to cover both cases of the 
conditional. Does that guarantee to me that the code works for ALL 
inputs? No, not at all. Only reasoning (a.k.a. a proof) will give you 
that...

Flo

>
> 
> Jack-Devel mailing list
> [hidden]
> http://lists.jackaudio.org/listinfo.cgi/jack-devel-jackaudio.org

1338715293.837_0.ltw:2,a <4FCB2C8D.6050702 at gmx dot net>