On Sun, Oct 16, 2016 at 10:25 PM, Jean-Pierre Rosen <ro...@adalog.fr> wrote:

> 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.
> But it should be shorter that unit test :-). Post conditions replacing
> unit test is my most favorite feature.

Anh Vo
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