검증 및 중단은(는) 무엇을 하나요?
수용 조건을 가장 작은 충분한 증명 집합으로 변환합니다.
- 일치하는 저장소 상태와 함께 여전히 유효한 현재 결과를 재사용합니다.
- 광범위한 게이트 이전에 집중 검사를 실행합니다.
- 통과, 실패, 사용 불가 및 차단을 정확히 구분합니다.
- 검증 요청에 수정 사항이 포함되지 않는 한 제품 코드를 편집하지 않습니다.
- 기준 통과 후 다듬기, 정리 또는 관련 없는 테스트를 추가하지 않습니다.
수용 증명이 완료되면 즉시 중단합니다. 명령어, 결과 및 해결되지 않은 위험만 보고합니다.