comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Runtime check : what about you ?
Date: Fri, 17 Jun 2011 10:53:56 -0700
Date: 2011-06-17T10:53:56-07:00	[thread overview]
Message-ID: <itg75k$8bo$1@tornado.tornevall.net> (raw)
In-Reply-To: <op.vw7rxjtgule2fv@douda-yannick>

On 06/17/2011 02:42 AM, Yannick Duchêne (Hibou57) wrote:
>
> Just out of curiosity as much as because this may be worth to discuss it to some
> (at least because there are some reflex with that) : how many of your typically
> compile releases with runtime check and how many of you typically compile
> releases without runtime check ?

The description of the language in the ARM includes run-time checks. If checks 
are turned off, then you're using some other language, not Ada.

We always have checks on for our soft-real-time application.

-- 
Jeff Carter
"My mind is a raging torrent, flooded with rivulets of
thought, cascading into a waterfall of creative alternatives."
Blazing Saddles
89



  parent reply	other threads:[~2011-06-17 17:53 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-06-17  9:42 Runtime check : what about you ? Yannick Duchêne (Hibou57)
2011-06-17  9:56 ` Niklas Holsti
2011-06-17 10:06 ` Martin
2011-06-17 10:43 ` Simon Wright
2011-06-17 11:35 ` J-P. Rosen
2011-06-17 16:06 ` björn lundin
2011-06-17 19:18   ` Robert A Duff
2011-06-17 20:13     ` björn lundin
2011-06-17 20:34     ` Simon Wright
2011-06-17 17:53 ` Jeffrey Carter [this message]
2011-06-17 18:59   ` Adam Beneschan
2011-06-17 20:30     ` björn lundin
2011-06-18  0:19     ` Randy Brukardt
2011-06-18  0:26     ` Randy Brukardt
2011-06-18  3:08     ` tmoran
2011-06-18  7:16     ` J-P. Rosen
2011-06-18  8:04     ` Niklas Holsti
2011-06-17 20:12   ` Vinzent Hoefler
2011-06-17 20:12 ` Vinzent Hoefler
2011-06-18  0:15 ` Randy Brukardt
2011-06-18  0:29   ` Robert A Duff
2011-06-18  8:03     ` Dmitry A. Kazakov
2011-06-18  6:56 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox