2012-01-13 1 views
1

가끔 응용 프로그램을 사용하여 디버깅 할 때 Contract.Requires() 오류가 발생하여 오류가 발생하여 오류가 발생했습니다 (지금까지는 모두 좋음). 그러나 Abort 버튼을 클릭하면 웹 서버가 충돌하고 " 문제가 발생하여 종료해야합니다."라는 메시지가 나타납니다. 두 가지 질문 :코드 계약을 사용하면 Webdev.Webserver40.exe가 충돌합니다.

  1. 예상되는 동작입니까?
  2. 그렇지 않은 경우 어떻게해야합니까? 프로젝트 설정

    enter image description here

    그리고 의 선택을 취소에서

답변

1

이동 CodeContracts 섹션 섹션

을 "런타임 검사"의 "계약 실패에 어설"확인란을
+0

감사 디마, 이것은 피할 수 코드 계약의 기본 동작을 변경하여 예외 생성으로 Assert 대화 상자를 표시하여 문제가 발생했습니다. 그래서 이렇게하면 문제를 완전히 피할 수 있습니다. 그러나, 그것은 Abort의 효과에 관한 나의 질문에 대답하지 않습니다. –

관련 문제