报告写完了，却发现，验证工作并没有做好。B，C类虽然写对了，但是其状态空间无比硕大，Spin无法完全覆盖之。

上午没去，睡觉。下午一直在工作，晚上做到9：35才下楼，匆忙找了点吃的，赶上了末班车。

我必须重头再来了。

明天，没安排，我还是去实验室罢。