Webdev.Webserver40.exe падает при использовании кодовых контрактов

Question

Иногда при отладке с моим приложением я сталкиваюсь с ошибкой Contract.Requires() из-за того, что его оценка возвращает false (пока все хорошо).Однако, если я нажимаю кнопку «Прервать», веб-сервер аварийно завершает работу, и я получаю сообщение: «... возникла проблема и необходимо закрыть ...".Два вопроса:

1. Это ожидаемое поведение?
2. Если нет, каким должно быть поведение?

Answer 1

Перейдите в раздел CodeContracts в настройках вашего проекта.

И снимите отметку флажок «Подтвердить при отказе от контракта» в разделе «Проверка во время выполнения»