stateful check 在clojure中有状态的生成测试.zip

stateful-check, 在clojure中，有状态的生成测试 状态检查一个 Clojure插件库，旨在帮助测试带有 test.check的状态系统。通过编写我们的系统行为( 当你做 X 时，期望 Y )的规范，我们可以以生成测试用例来检查我们的实现 MATCHES 。 我们甚至可以通过并行运行命令