Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 15 May 2004 21:33:23 -0400
From:      Robert Huff <roberthuff@rcn.com>
To:        current@FreeBSD.org
Subject:   but withoutI WITNESS and INVARIANTS ?
Message-ID:  <16550.50403.299027.374926@jerusalem.litteratus.org>
In-Reply-To: <20040514152916.D15395@pcle2.cc.univie.ac.at>
References:  <20040514152916.D15395@pcle2.cc.univie.ac.at>

next in thread | previous in thread | raw e-mail | index | archive | help

Lukas Ertl writes:

>  All of these options are meant for debugging purposes.  So
>  removing them will not just not hurt, but also improve
>  performance. :-)

	On the other hand: if you can afford the perforamnce hit, leave
them in.  As I understand it, the class of problems they (help)
diagnose are usually both subtle and consequential.



				Robert Huff





Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?16550.50403.299027.374926>