Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Generation of larger sets via Arb.set now throws an exception

See original GitHub issue

Starting with Kotest 4.4.0, generation of larger sets now fails. This appears related to https://github.com/kotest/kotest/issues/1931

With the change to termination, Arb.set now gives up after 1,000 loops. This means that, even when given a generator with sufficient cardinality, passing in a range that generates desired sizes of greater than 1,000 elements will fail.

Issue Analytics

State:
Created 3 years ago
Reactions:1
Comments:5 (5 by maintainers)

Top GitHub Comments

1reaction

sksamuelcommented, Feb 6, 2021

Fix incoming 😃

0reactions

sksamuelcommented, Feb 6, 2021

Fixed in master. Will be in 4.4.1

Top Results From Across the Web

Changelog

Kotest now requires the runtime version of JUnit to be at least 5.8.x ... Generation of larger sets via Arb.set throws an exception...

Arb Documentation

Welcome to Arb's documentation! Arb is a C library for rigorous real and complex arithmetic with arbitrary precision.

Unity 2023.1.0a23

Package Manager: Fixed the Package Manager so it no longer throws an error when importing a complete project for the first time. (UUM-20000)...

CS202/2005/Notes/Combined

Mostly used to construct astonishingly huge infinite sets. Choice: For any set of nonempty sets S there is a function f that assigns...

Changelog | AR Foundation | 5.1.0-pre.2

ARMeshManager no longer throws ArgumentNullException s ("Value cannot be null") ... The ARCameraBackground component now sets the camera's field of view.