【文件属性】：
文件名称：states:Clojure 中状态计算的基于属性的生成测试
文件大小：6KB
文件格式：ZIP
更新时间：2021-05-31 12:35:00
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)