- Fix one more Elixir 1.17 warning.
- Add warnings-free support for Elixir 1.17.
- Drop support for Elixir 1.11 and lower, require Elixir 1.12+ now.
No changes. This is just the 1.0 release. Happy fuzzying!
- Consider max chars when generating atoms.
- Fix some small issues in
StreamData.nonempty_improper_list_of/2
.
- Add
StreamData.non_negative_integer/0
. - Add
StreamData.repeatedly/1
. - Add
StreamData.chardata/0
. - Add
StreamData.codepoint/1
. - Add support for not implemented properties (which are just
property "some name"
, without ado
//end
body). This is on par with ExUnit'stest/1
. - Add support for stepped ranges in
StreamData.integer/1
. - Add support for required keys in
StreamData.optional_map/2
. - Add
:utf8
option inStreamData.string/1
.
- Slightly improve the shrinking algorigthm.
- Add
StreamData.map_of/2
. - Fix a bug around the
:max_shrinking_steps
option. - Fix a runtime warning with Elixir 1.10.
- Improve the frequency of terms in
StreamData.term/0
- Fix a bug in
StreamData.positive_integer/0
that would crash with a generation size of0
. - Support inline
, do:
ingen all
andcheck all
. - Support
:initial_seed
incheck all
. - Export formatter configuration for
check all
andgen all
. - Add
StreamData.seeded/2
.
- Fix a bug when shrinking boolean values generated with
StreamData.boolean/0
- Import all functions/macros from
ExUnitProperties
whenuse
d - Various optimizations
- Add the
:max_run_time
configuration option to go together with:max_runs
- Add support for
:do
syntax ingen all
/check all
- Add a
StreamData.term/0
generator - Bump the number of allowed consecutive failures in
StreamData.filter/3
andStreamData.bind_filter/3
- Improve error message for
StreamData.filter/3
- Add
ExUnitProperties.pick/1
- Add
Enumerable.slice/1
toStreamData
structs - Improve the performance of
StreamData.bitstring/1
- Remove
StreamData.unquoted_atom/0
in favour ofStreamData.atom(:unquoted | :alias)
- Start behaving like filtering when patterns don't match in
check all
orgen all
- Remove special casing of
=
clauses incheck all
andgen all
- Introduce
StreamData.float/1
replacingStreamData.uniform_float/0
- Add length-related options to
StreamData.string/2
- Introduce
StreamData.positive_integer/0
- Raise a better error message on invalid generators
- Fix the
StreamData.t/0
type - Add support for
rescue/catch/after
inExUnitProperties.property/2,3
- Introduce
StreamData.optional_map/1
- Add support for keyword lists as argument to
StreamData.fixed_map/1
- Change the arguments to
StreamData.string/2
so that it can take:ascii
,:alphanumeric
,:printable
, a range, or a list of ranges or single codepoints - Rename
PropertyTest
toExUnitProperties
and introduceuse ExUnitProperties
to use in tests that use property-based testing
- Add length-related options to
StreamData.list_of/2
,StreamData.uniq_list_of/1
,StreamData.binary/1
- Add a
StreamData.bitstring/1
generator
- Remove
StreamData.string_from_chars/1
,StreamData.ascii_string/0
, andStreamData.alphanumeric_string/0
in favour ofStreamData.string/1
- Rename
StreamData.non_empty/1
toStreamData.nonempty/1
- Rename
StreamData.int/0,1
toStreamData.integer/0,1
- Rename
StreamData.no_shrink/
toStreamData.unshrinkable/1
- Remove
StreamData.uniq_list_of/3
in favour ofStreamData.uniq_list_of/2
(which takes options)
- Fix a bug with
check all
syntax where it wouldn't work with assignments in the clauses.