文件名称：states:Clojure 中状态计算的基于属性的生成测试
文件大小：6KB
文件格式：ZIP
更新时间：2024-06-20 06:21:40
Clojure
状态 Clojure 中状态计算的基于属性的生成测试。 示例： java.util.Set 在这个例子中，我们将指定与实现Set接口的对象的交互。 让我们从需要必要的命名空间开始。 ( require '[clojure.test.check :refer [quick-check]] '[clojure.test.check.generators :as gen] '[states.core :refer [run-commands]]) 我们要在测试集上调用的命令必须使用可解析的符号来标识。 为此，我们必须用一些变量包装 Java API。 ( defn set-contains [set elem] ( .contains set elem)) ( defn set-add [set elem] ( .add set elem))
【文件预览】：
states-master
----.gitignore(84B)
----src()
--------states()
----.travis.yml(78B)
----README.md(6KB)
----test()
--------states()
----project.clj(331B)