Как я могу сгенерировать одно значение с заданным семенем и размером?
test.check библиотека обеспечивает generate функция, которая берет генератор и размер и возвращает единственное значение от генератора с заданным размером, но она получает свое начальное число недетерминированным образом. Библиотека также предоставляет quick-check функция, которая берет начальное число и пробует свойство, используя это начальное значение, но не дает возможности контролировать размер или извлекать возвращаемое значение свойства за пределы его истинности или ложности.
Есть ли способ создать значение с явным начальным числом и размером для таких целей, как детерминированное моделирование на сгенерированных данных?