※ 引述《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!!