From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Run-time checking and speed
Date: 23 Jan 1995 18:38:06 -0500
Date: 1995-01-23T18:38:06-05:00 [thread overview]
Message-ID: <3g1eku$lmd@gnat.cs.nyu.edu> (raw)
In-Reply-To: 3fu902$6al@felix.seas.gwu.edu
Mike, you miss the point that in some environments it is REQUIRED to turn
off runtime checking.
Why, because runtime checking can create code that cannot be executed, and
in some verification environments coverage testing is required, so you cannot
have code and logic paths that cannot be executed.
next prev parent reply other threads:[~1995-01-23 23:38 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-01-10 22:20 Run-time checking and speed Tony Leavitt
1995-01-12 1:14 ` Roger Labbe
1995-01-13 12:09 ` Philip Brashear
[not found] ` <3f0prq$3bq@theopolis.orl.mmc.com>
1995-01-12 14:13 ` Robert Dewar
1995-01-13 1:49 ` Doug Smith
1995-01-13 15:29 ` Norman H. Cohen
1995-01-13 15:21 ` Norman H. Cohen
[not found] ` <3fa2pk$kbi@felix.seas.gwu.edu>
[not found] ` <EACHUS.95Jan17151835@spectre.mitre.org>
[not found] ` <3fjhrj$9b3@oahu.cs.ucla.edu>
1995-01-20 5:11 ` Robert Dewar
1995-01-23 16:43 ` Mats Weber
1995-01-24 19:25 ` Robert Dewar
1995-01-22 18:43 ` Michael Feldman
1995-01-23 23:38 ` Robert Dewar [this message]
1995-01-26 16:14 ` Kent Mitchell
1995-01-28 6:03 ` Robert Dewar
[not found] ` <3gbr4f$p4b@theopolis.orl.mmc.com>
1995-01-29 13:00 ` Robert Dewar
1995-01-30 19:21 ` Garlington KE
1995-01-12 15:11 ` Norman H. Cohen
-- strict thread matches above, loose matches on Subject: below --
1995-01-12 15:54 Keith Arthurs
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox