Generators for predicate specificationsλ︎
Specifications are used to generate a wide range of random data. A generator for the specification is obtained and then data is generated.
Predicate generatorsλ︎
Last update:
April 25, 2023