test failure in "1 - CDF match"
还没有人认领这个 Issue。
评估
调研方向
首先使用 --quickcheck-replay=143569 运行报告中的“Exact tests for Binomial.1 - CDF match”用例，并使用提供的重运行过滤器和日志进行比较。确定当前版本中是否仍会发生该失败；完成的标准是确定原因，并添加或更新覆盖范围，使 Binomial CDF 匹配可靠。
由索引模型根据 Issue 内容生成。
描述
Log excerpt
Test distributions against exact
Exact tests for Binomial
PMF match: OK (0.01s)
+++ OK, passed 100 tests.
CDF match: OK (5.40s)
+++ OK, passed 100 tests.
1 - CDF match: FAIL (4.66s)
*** Failed! Falsified (after 78 tests):
TestCase (ExactBD 1406 (445 % 32768)) 344
Use --quickcheck-replay=143569 to reproduce.
Use -p '!((/Pearson correlation/||/t_qr/)||/Tests for: FDistribution.1-CDF is correct/)&&/Exact tests for Binomial.1 - CDF match/' to rerun this test only.
Exact tests for DiscreteUniform
We stumbled into this in statistics-0.16.2.1 on x86_64 (NixOS). Full log here. It didn't happen on a retry; most likely it's a rare failure (over the pseudo-random seed).
I don't really use Haskell anymore, so it's not easy for me to recheck with this seed on the latest version, but I've been unable to find a reference to this failure in this repo. Hopefully this report will still be helpful.
- 主要语言
- Haskell
- 星标
- 309
- 派生
- 77
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
haskell/statistics 的其他 Issue
-
`logProbability` returns `NaN` for the Poisson distribution with `λ = 0`可能已有人在做 @youqad 今天认领。 未关闭
难度 2/5 1-3 小时 新手友好度 78/100
haskell/statistics#235 ·
-
难度 4/5 3-5 天 新手友好度 48/100
haskell/statistics#237 ·
-
难度 4/5 3-5 天 新手友好度 48/100
haskell/statistics#236 ·
-
难度 3/5 1-2 天 新手友好度 58/100
haskell/statistics#234 ·
-
难度 4/5 3-5 天 新手友好度 42/100
haskell/statistics#231 · 3 条评论 ·
查看 haskell/statistics 的全部 Issue
相似的 Issue
-
bug dependencies
难度 2/5 1-3 小时 新手友好度 70/100
alunduil/network-arbitrary#251 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
Bug
难度 2/5 1-3 小时 新手友好度 68/100
-
pkg:crucible-mir type:bug
难度 2/5 1-3 小时 新手友好度 75/100
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
GaloisInc/llvm-pretty#211 ·