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 Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 http://www.adalog.fr ------------------------------------------------------------------------------ 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 Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list