Webdev.Webserver40.exe crashes when using Code Contracts

Question

Sometimes when debugging with my application I encounter Contract.Requires() failing due to the condition its evaluating returning false (all good so far). However, if I click the Abort button webserver crashes and I get the message: "... has encountered a problem and needs to close ...". Two questions:

1. Is this the expected behaviour?
2. If not, what should be the behaviour?

Answer 1

Go to CodeContracts section in your project settings

And uncheck the "Assert on Contract Failure" checkbox in "Runtime checking" section