New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open

frenchy64 opened this issue Nov 24, 2024 · 0 comments

Labels

generator

Collaborator

frenchy64 commented Nov 24, 2024

;; 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)}])

frenchy64 added the generator label

opqdonut added this to Metosin Open Source Backlog

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment