Code contracts for .NET 3.5 messes up VS10's debugger

Question

I\'ve recently migrated a lot of manual precondition testing and exception throwing with code contracts. Instead of upgrading to .NET 4, I\'ve been using the Microsoft

Answer 1

have in mind, that the code contracts currently do not work with Post conditions & multithreading. limit the contracts to do only Precondition rewriting. that solved a lot of issues in our system.