2024 Clojure 状态调查!中分享您的想法。

欢迎!请查看关于页面以获取更多有关此工作方式的信息。

0
规范

编写一个生成器失败的规范很容易

`在100次尝试后无法满足such-that谓词。`

这在许多方面都是可以预料的,但这是一个很不实用的事件。可以增强该功能的一些方式包括
- 将失败的规范包含在异常中。我在spec.clj中我只看到一次gen/such-that的调用,看来它手上已经有了规范的形式。gen/such-that需要一个异常构造函数,这可以在这里使用。
- 允许max-tries从100的硬编码值中更改。当处理间歇性失败时,将max-tries降低到一个非常小的数字可以更容易地重现失败。

2 答案

0

由 alexmiller 发表的评论:

这些是合理的建议,并且该领域很可能与test.check同步发展以提供更多信息。

0
参考:[https://clojure.atlassian.net/browse/CLJ-2097](https://clojure.atlassian.net/browse/CLJ-2097)(由 alex+import 提出)
...