kwik v0.3.0-alpha.1 Release Notes
Release Date: 2019-12-05 // over 4 years ago-
Removed (Breaking)
๐
Generator.samples
property has been removed. Now the generator have to have a probability to generate the edge cases ingenerate
. The recommended option when building a generator, is to usewithSamples
๐
Generator.randoms
function has been removed.Generator.generate
orGenerator.randomSequence
should be used instead.
๐ Changed
All generators no longer statically provide
samples
. Instead they have a good probability to generate edge cases.- (Breaking binary)
withSample
now takes a probability argument, and include the samples in the generation
โ Added
ensureAtLeastOne
utility in evaluation context, that will force property evaluation until a given predicate gets satisfied. Thanks to alessandroagnelli
โก๏ธ Dependencies Updated
- Kotlin (from
1.3.60
to1.3.61
)