Skip to content

Opaque assertion errors with infinite bounds #1133

@frenchy64

Description

@frenchy64
(mg/generate [:double {:min ##Inf}])
;Assert failed: (<= lower upper)
(mg/generate [:double {:max ##-Inf}])
;Assert failed: (<= lower upper)
(mg/generate [:<= ##-Inf])
;Assert failed: (<= lower upper)
(mg/generate [:>= ##Inf])
;Assert failed: (<= lower upper)
(mg/generate [:< ##-Inf])
;Assert failed: (<= lower upper)
(mg/generate [:> ##Inf])
;Assert failed: (<= lower upper)

Metadata

Metadata

Assignees

No one assigned

    Labels

    generatorRelated to generators for property-based testing

    Type

    No type

    Projects

    Status

    Not right now

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions