Re: Assertions in Ada

[Ken Garlington <kennieg@flash.net>]

Tucker Taft wrote:
> 
> Other stumbling blocks to including it in the Standard:
> 
>    The safety-critical community seemed generally to prefer methods
>    based on separate tools that look from the "outside" to
>    verify conditions in the code, without adding anything to
>    the generated code in the target machine.  Since we had presumed
>    the safety-critical community would have been one of the big
>    supporters of the pragma, this lack of interest was a big blow.

Yes, I think this definitely represents my feelings at the time.
Although I don't think anyone argued _against_ including assertions,
I know I didn't feel that it was something we desperately needed,
particularly vs. pragma Reviewable, etc. (Obviously, if you've
read my Ariane responses, you know I haven't changed my mind
yet, either!)

> --
> -Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
> Intermetrics, Inc.  Burlington, MA  USA