在2024年Clojure状态调查！分享您的想法。

欢迎！请查阅关于页面，了解更多关于如何使用本站的信息。

提出问题

时间约束测试和缩小

0 票
在 test.check 由

应该能够将测试和缩小时间进行约束。

原始问题还提到通过Ctrl-c来中断缩小，但这已在（链接：http://dev.clojure.org/jira/browse/TCHECK-4 文本：#TCHECK-4）中涵盖。

（链接：https://github.com/reiddraper/simple-check/issues/9 文本：原始问题 - #9 GitHub）

2 个答案

0 票
由

评论由：gfredericks 提供

想法：在c.t.check中添加一个新的函数，它接受c.t.check/quick-check的arglists集合以及max-time，并以交织的方式进行测试。

不清楚c.t.clojure-test的集成看起来是什么样的。

0 票
由
参考： https://clojure.atlassian.net/browse/TCHECK-8（由hypirion报告）
由 Cognitect 代表 Clojure 社区维护
...