周三开会日，内容有点多，记下未来两周要做的事情：
- Scalpel NSDI 投稿
-
Basic workflow已明确，Diagnosis分为两阶段：
1）诊断哪些condition不满足，这是一个粗粒度的错误；
2）condition不满足是由于哪些配置导致的，这一步诊断到细粒度的配置行【需要区分多、错、漏配】 -
Forwarding Tree的选择：生成多个FT的方法
-
确定不可更改的配置部分：
1）layer2 topology不可改；
2）用户可指定哪些配置不更改【这部分需要specify可以个性化的种类】（如routing process是否可以新增？/设置不改配置的设备节点/设置）
- Huawei 配置修复阶段验收
- 修复后配置的格式：空格，结束符，有的地方不要network
- 多流需要输出IGP约束给IGP Diagnoser【现在没有IGP的多流错误，可暂缓一些】