On 10/16/2016 10:25 PM, Jean-Pierre Rosen wrote:
> 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.

Such conditions should probably be described as comments, so that
computationally reasonable conditions can still be checked.


-- 
Jeff Carter
"There's no messiah here. There's a mess all right, but no messiah."
Monty Python's Life of Brian
84


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

Reply via email to