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

欢迎!请参阅关于页面获取更多有关本站如何运作的信息。

0
test.check

确定分配是难点。

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

分配想法

针对两个目标

  1. 这个分配应该不含限于正常使用;我相信大多数用户在无意中遇到50MB的bigint会将其视为多种使用问题;因此,对于size=200的大小,应该限制在大多数人不会视为使用问题的地方
  2. 由于我看到了只有当(< Double/MAX_VALUE n)时才显现的bug,所以在这个区域可能有一个上限会很好

2^1024对于频繁生成来说相当大,所以我们可能可以针对像~1%的2^1024以上的数字进行size=200;如果概率急剧下降(例如,在宇宙尽头之前不会生成大于2^2048的数字),即使技术上限也不介意

1 个答案

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