search

Seelengrab / Supposition.jl

A Julia implementation of choice sequence based PBT, inspired by Hypothesis
https://seelengrab.github.io/Supposition.jl/
European Union Public License 1.2
46 stars 2 forks source link

Provide a way to configure the maximum allowed number of choices through `CheckConfig` #17

Closed Seelengrab closed 8 months ago

Seelengrab commented 8 months ago

Currently, this is done through a global variable:

https://github.com/Seelengrab/Supposition.jl/blob/6e1c8cb2a01ee955877e5b4bb43347de32bc055a/src/teststate.jl#L262-L267

This should simply be moved into CheckConfig. At the same time, this can be safely increased to something like 100_000.