2 replies to this topic

[keithodulaigh]

So for those who do not know, Spec# is a superset of C# that takes Code contracts to a new level.

My problem is that if I add an asertion to my code like this:

assert 6 == sum{int k in (1..3); k};

It says that assertion may fail...but I don't see how, 1 + 2 + 3 = 6 and always will be!

Anyone have any ideas?

Thanks,
Keith

[Davide]

It says that it MAY fail, but does it?

[keithodulaigh]

No but the message should not appear. If I start taking the attitude that "oh I can ignore that message because I know better" then I may as well not be using design by contract...