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
Gnoga-list@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/gnoga-list
