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

欢迎!请参阅关于页面以了解如何使用本站的相关信息。

0
Spec

写一个生成失败的情况非常简单,就像这样

`在尝试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 (由 alex+import 报告)
...