※ 引述《ric2k1 (Ric)》之铭言：
: A programming assignment about BDD-based verification.
: 先上传题目，source code 等一下上传。
: 但是 source code 有些 command usage 的 bugs，我明天再找机会修一下，
: 不过 reference testcases & dofiles 还是可以 run 啦!
Reference code 已上传，请尽早下载研读。
[Known bugs/to-be-fixed]
1. breset/cirinit 交互切换可能会有问题
2. Command usage of prove command (e.g. optional parameter can be placed
anywhere)
以上应该不影响大家正常的运作，我会尽快在下星期改好。
Any question, please let me or TA know.
Have fun!!