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

欢迎!请查看关于页面,了解更多关于这个网站如何运作的信息。

0 投票
test.check

决定分发是棘手的部分。

有一些某种概念验证(链接:https://github.com/clojure/test.check/blob/53d54c3f79f679f59538ba1792826a04a0831789/src/main/clojure/clojure/test/check/generators.cljc#L1666 文本:这里)。

分发想法

针对两个目标

  1. 对于常规使用,分布不应该是无界的;我相信大多数无意中遇到50MB大整数的人都会认为这是一个多方面的可用性问题;因此,对于大小为200的分布,应该在大多数人不会认为它是可用性问题的地方进行界限
  2. 鉴于我只见过在< Double/MAX_VALUE n)中才会显现的bug,可能在这个区域的某个地方有一个上限是好的

2^1024对于频繁生成来说相当大,因此,如果我们针对像~1%的2^1024以上数字的大于200的大小,那我甚至不会介意技术上无界的分布,如果概率大幅下降的话(例如,数字大于2^2048在宇宙末日之前不生成)

1 个答案

0 投票
参考:https://clojure.atlassian.net/browse/TCHECK-148(由gfredericks报告)
...