Le 16/10/2016 à 19:54, Jeffrey R. Carter a écrit :
>> I'm OK for disabling assertions, but not other checks (constraint_error...)
> I'm for leaving them all on.
When  I said "assertions", I meant all forms of assertions (including
Pre/Post), not just pragma Assert.

The trouble is that sometimes, the post-condition needs more
computations than the subprogram being described.

J-P. Rosen
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00

Check out the vibrant tech community on one of the world's most 
engaging tech sites, SlashDot.org! http://sdm.link/slashdot
Gnoga-list mailing list

Reply via email to