Skip to content

Opaque such-that error when using ##NaN as bound #1130

@frenchy64

Description

@frenchy64
(mg/generate [:>= ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:> ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:< ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:<= ##NaN])
;Couldn't satisfy such-that predicate after 10 tries.
(mg/generate [:double {:max ##NaN}])
;Couldn't satisfy such-that predicate after 10 tries.

Metadata

Metadata

Assignees

Labels

generatorRelated to generators for property-based testinghelp wantedHelp most welcome

Type

No type

Projects

Status

Not right now

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions