RE: [sv-bc] Mantis 1345: 10.4: "illegal" unique if/case issues

My bad wording. What I meant was, why should a tool not be REQUIRED to
issue a warning if it finds ANY bad ordering?

Shalom

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of Brad Pierce
> Sent: Monday, February 20, 2006 7:05 PM
> To: sv-bc@eda.org
> Subject: Re: [sv-bc] Mantis 1345: 10.4: "illegal" unique
> if/case issues
> 
> >6. Subject for possible discussion: why should a tool not
> issue a
> warning >if it finds ANY ordering which violates uniqueness
> (even if it
> finds a >different ordering which does not, which probably
> makes it a
> pathological >case anyway)?
> 
> The LRM doesn't say a tool can't issue a warning in such a
> case, it says
> it is not required to do so.  Is there any place where the LRM
> prohibits
> a tool from issuing warnings?
> 
> -- Brad