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
