Double generator fails if `{:max (- Double/MAX_VALUE)}`

仓库指标

星标

1,724 个星标 (1,724 个星标)

PR 合并指标

30 天内没有已合并 PR (30 天内没有已合并 PR)

描述

;; underlying generators don't seem to handle these well
(m/validate [:<= (- Double/MAX_VALUE)] (- Double/MAX_VALUE))
;=> true
(mg/generate [:<= (- Double/MAX_VALUE)])
;Couldn't satisfy such-that predicate after 10 tries.

;; similar issue
(m/validate [:double {:max (- Double/MAX_VALUE)}] (- Double/MAX_VALUE))
;=> true
(mg/generate [:double {:max (- Double/MAX_VALUE)}])

贡献者指南

研究方向

检查 double 和比较模式的生成器实现，特别是如何处理 Double/MAX VALUE 等极值。追踪谓词生成以理解失败原因。

技术栈

clojure

领域

backend

议题类型

缺陷

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

2

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

1-3 小时

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

新近可参与

清晰度议题是否清楚说明期望改动、验收标准和下一步。

清晰

前置要求

ClojureLeiningen

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

65