Webdev.Webserver40.exe crashes when using Code Contracts

1.3k Views Asked by At

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?
1

There are 1 best solutions below

1
On BEST ANSWER

Go to CodeContracts section in your project settings

enter image description here

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