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

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