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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a0e076952eca80d4
X-Google-Attributes: gid103376,public
From: Ian Johnston <ian.johnston@ubs.com>
Subject: Re: Ada and C++ asserts.
Date: 1996/07/16
Message-ID: <31EB617D.3593@ubs.com>#1/1
X-Deja-AN: 169113032
references: <nh4tn9d9vw.fsf@paralysys>
content-type: text/plain; charset=us-ascii
organization: UBS
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.01 (WinNT; I)
Date: 1996-07-16T00:00:00+00:00
List-Id: <comp.lang.ada>


Nasser Abbasi wrote:

[Core dump after assertion failure]

It's meant to core dump after an assertion failure.

The failed assert ends up calling abort() -- which dumps
core.

Ian