On Mon, Mar 11, 2024 at 11:16:06AM +0100, Nicolas Gaullier wrote:
> Signed-off-by: Nicolas Gaullier <nicolas.gaullier@cji.paris>
> ---
>  doc/fate.texi | 7 +++++++
>  1 file changed, 7 insertions(+)
> 
> diff --git a/doc/fate.texi b/doc/fate.texi
> index 2fa8c34c2d..2fa7c70251 100644
> --- a/doc/fate.texi
> +++ b/doc/fate.texi
> @@ -79,6 +79,13 @@ Do not put a '~' character in the samples path to indicate a home
>  directory. Because of shell nuances, this will cause FATE to fail.
>  @end float
>  
> +Beware that some assertions are disabled by default, so mind setting
> +@option{--assert-level=<level>} at configuration time, e.g. when seeking
> +the highest possible test coverage:
> +@example
> +./configure --assert-level=2
> +@end example

This (or some other appropriate place in the docs)
should mention that doing so could have a performance impact

thx

[...]

-- 
Michael     GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB

No human being will ever know the Truth, for even if they happen to say it
by chance, they would not even known they had done so. -- Xenophanes