LazyArbitrary doesn't delegate Arbitrary.exhaustive

[osi]

The LazyArbitrary (as returned by Arbitraries.defaultFor) does not override Arbitrary#exhaustive(long)

This prevents allValues() from working.

[jlink]

I seem to remember there’s a reason for that. Will have a closer look later today.

[jlink]

Couldn't find a reason (except my lazyness - pun intended) to not allow exhaustive generation.

It's available in 1.4.0-SNAPSHOT.

Bad news: A lot of stuff is planned for 1.4.0, so the release might take a while...

[jlink]

has been released in 1.3.10

[osi]

thanks!!

…

-- (peter.royal|osi)@pobox.com - http://fotap.org/~osi

On Dec 4, 2020, at 8:03 AM, Johannes Link ***@***.***> wrote:  has been released in 1.3.10 — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or unsubscribe.