Hi Michael,
Sorry for the late reply...
>
> A postcondition such as I'm suggesting would perform an assertion when a
> function (or the enclosing block) exits instead of on the line where the
> assertion was defined. Obviously, if a function only has one exit path, it
> would be simple just to pu
John Torjo wrote:
> Hi Michael,
>
>>
>> 1) How is this going?
>>
>
> Unfortunately, I've been EXTREMELY busy these days :(
>
> It's almost done - I've worked on making a small footprint of
> SMART_ASSERT (when using SMART_ASSERT, the generated code should be
> as small as possible)
>
> Note: try th
