From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Hi-Lite high integrity showcase and overflow errors
Date: Wed, 05 Sep 2012 13:15:56 +0200
Date: 2012-09-05T13:15:52+02:00 [thread overview]
Message-ID: <50473468$0$6548$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <9f990735-e6ca-43b3-9be5-930e8184626a@googlegroups.com>
On 05.09.12 11:19, yannick.moy wrote:
> One advantage of the new Ada 2012 executable annotations is that you can execute preconditions, which would catch the problem at the caller site.
Thanks for explaining. I'll assume, though, that for saturating
arithmetic, the caller would not want X op Y < 10_000 to be
checked as a precondition, as this prevents saturation. So the
postconditions are fine.
next prev parent reply other threads:[~2012-09-08 19:53 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-09-03 21:56 Hi-Lite high integrity showcase and overflow errors Georg Bauhaus
2012-09-04 2:53 ` Shark8
2012-09-04 3:05 ` Shark8
2012-09-04 8:30 ` Georg Bauhaus
2012-09-04 18:45 ` Shark8
2012-09-04 20:21 ` Florian Weimer
2012-09-04 21:24 ` Shark8
2012-09-05 9:25 ` yannick.moy
2012-09-05 9:19 ` yannick.moy
2012-09-05 11:15 ` Georg Bauhaus [this message]
2012-10-03 10:47 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox