文件名称：ocaml-test-stdlib:OCaml标准库模块的撬棍测试
文件大小：14KB
文件格式：ZIP
更新时间：2024-05-28 04:11:59
OCaml
这是什么？ 该存储库包含标准库的子集的基于属性的测试。 这些测试使用框架，旨在与程序器一起使用。 这些测试是做什么用的？ 无崩溃的测试运行无法全面证明每个经过测试的属性都是真实的，并且这些测试不能替代证明或验证工作。 但是，这些测试可以轻松地针对OCaml程序员使用的实际实现进行运行，可以在无人值守的情况下运行，并且可以轻松适应各种输入。 违反属性（由afl-fuzz报告为崩溃）是反例，可用于修复错误，创建回归测试并通常帮助开发人员提高软件质量。 如何运行这些测试？ 撬棍测试有两种模式： 一种简单的类似于快速检查的模式，用于针对完全随机的输入来测试命题 在启用OCaml的检测功能的情况下，使用模式从afl-fuzz获得良好性能的模式 通用要求 为了方便起见，请使用默认情况下启用了afl工具的OCaml编译器（任何来自opam带有+afl编译器）。 安装。 该软件包尚未在opam-
【文件预览】：
ocaml-test-stdlib-primary
----.gitignore(39B)
----Dockerfile(746B)
----LICENSE.md(1KB)
----.travis.yml(963B)
----.merlin(110B)
----lib_base()
--------shims.ml(2KB)
--------tests.ml(401B)
--------jbuild(80B)
--------sets.ml(6KB)
--------maps.ml(6KB)
----README.md(6KB)
----lib_406()
--------jbuild(95B)
--------maps.ml(3KB)
----ocaml-test-stdlib.opam(495B)
----test()
--------.gitignore(40B)
--------alltests.ml(241B)
--------jbuild(616B)
--------input()
--------basetests.ml(46B)