Kaputt 是 Objective Caml 编程语言的测试工具,基于断言的测试,类似 JUnit。
改进内容:
1. 升级支持 Objective Caml 3.12.0;
2. 增加一个新的基于 ocamlbuild 的构建系统;
3. 为数据容器增加断言构建器;
4. Generators were added for functions (both total and partial).
5. Enumerators were added for file contents (chars, bytes, lines, and marshalled values).
6. Additional shell commands and the possibility to configure shell syntax were added.
7. Big array and big num support was enhanced.
8. A possible non-termination on unsatisfiable precondition was fixed.
9. Reduction was implemented to try to produce smaller counterexamples.
10. An unportable use of "which" was fixed.
11. Failure of tests on 64-bit platforms was fixed
暂无更多评论