"Before and after" in contracts?

[spir]

On 04/11/2011 09:18 PM, bearophile wrote:
> spir:
>
>> Contracts, like any software tool, do not correctly match all possibly needs.
>
> This is true in general, but this isn't true in this case: here they don't match a basic need because D DbC misses a significant feature (prestate). If you take a look at other implementations of DbC in Eiffel and C# the prestate is present.

Right, did not know that. Thnaks for this useful info.

Denis
-- 
_________________
vita es estrany
spir.wikidot.com