From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e0f782f6e18ec4f1,start
X-Google-Attributes: gid103376,public
From: johndoe (johndoe)
Subject: pragma DEBUG and pragma ASSERT in gnat
Date: 1996/04/22
Message-ID: <kdzq84xa1m.fsf@dsd.camb>#1/1
X-Deja-AN: 150860597
sender: johndoe@dsd.camb
x-nntp-posting-host: dsd.camb.inmet.com
organization: Intermetrics, Inc.    Cambridge, MA
reply-to: johndoe@inmet.com (Bus error - core dumped)
newsgroups: comp.lang.ada
Date: 1996-04-22T00:00:00+00:00
List-Id: <comp.lang.ada>

i seem to recall references to these pragmas in comp.lang.ada, but find no
rules of use in gnatinfo.txt (only a refernce that if i use -gnata , it turns
them on).

i would appreciate it if someone who is familiar with using them could
show me a couple of examples of how they work.

--johndoe@inmet.com--Kirk Beitz--VOX:(617)661-1440 x4525--FAX:(617)868-2843--
-- Intermetrics, Inc. --  Cambridge, MA   -- http://www.inmet.com/~johndoe --