Re: Understanding Booleans

[rod@praxis-cs.co.uk (Rod Chapman)]

>    A := (b = c) or (e = f);
> 
> some people prefer to write
> 
>    if (b = c) or (e = f) then
>       A := True;
>    else
>       A := False;
>    end if;

The latter form suffers slightly from introducing two paths,
whereas the former only has one (ignoring the possibility
for the moment of the compiler transforming the "or" into
an "or else".) This could have a negative
effect on coverage analysis and the volume (but
not the difficulty) of code proof.
 - Rod