Skip to content

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

@frenchy64

Description

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    generatorRelated to generators for property-based testing

    Type

    No type

    Projects

    Status

    No status

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions