On 1/20/2012 12:23 AM, Manfred Nowak wrote:
If there are advantages, then the specs are wrong,
I recently fixed the specs to define the sequence.
- Re: Invariant and pre/post-conditions order Steven Schveighoffer
- Re: Invariant and pre/post-conditions or... Walter Bright
- Re: Invariant and pre/post-condition... Steven Schveighoffer
- Re: Invariant and pre/post-cond... Jonathan M Davis
- Re: Invariant and pre/post-cond... Steven Schveighoffer
- Re: Invariant and pre/post-cond... Walter Bright
- Re: Invariant and pre/post-... Jonathan M Davis
- Re: Invariant and pre/post-... Walter Bright
- Re: Invariant and pre/post-... Jonathan M Davis
- Re: Invariant and pre/post-... Manfred Nowak
- Re: Invariant and pre/post-... Walter Bright
- Re: Invariant and pre/post-... Manfred Nowak
- Re: Invariant and pre/post-... Walter Bright
- Re: Invariant and pre/post-... Steven Schveighoffer
- Re: Invariant and pre/post-conditions order Davidson Corry
- Re: Invariant and pre/post-conditions order Steven Schveighoffer
- Re: Invariant and pre/post-conditions order Mail Mantis
- Re: Invariant and pre/post-conditions order Manfred Nowak
