From: Valentin Bonnard (Bonnard.V_at_[hidden])
Date: 1999-11-10 12:30:43
Darin Adler wrote:
> It seems a bit extreme to leave this up to each individual programmer to
> decide.
Indeed. I would go as far as saying it is silly.
> But I'd like to hear others' thoughts on the matter.
The natural post-condition of a = b is a == b, and it's
the _only_ natural post-condition. This is just
common-sens.
-- Valentin Bonnard