A programming assignment about BDD-based verification.
先上传题目，source code 等一下上传。
但是 source code 有些 command usage 的 bugs，我明天再找机会修一下，
不过 reference testcases & dofiles 还是可以 run 啦!