2 Sep
2009
2 Sep
'09
3:11 a.m.
Thomas Klimpel wrote:
As you probably know, the discussions about the "impossible" postconditions (or which postconditions would be reasonable) were not really settled: http://lists.boost.org/Archives/boost/2009/03/149515.php http://lists.boost.org/Archives/boost/2009/03/149693.php
Regards, Thomas
Yes. I have been following these discussions for awhile, so I am aware of the issues with the post conditions. John