Webdev.Webserver40.execock
原文：Webdev.Webserver40.exe crashes when using Code Contracts

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 ...