PropCheck Changelog
1.1.0
- New command oriented DSL for testing stateful systems, inspired by EQC and
discussions about stateful testing in StreamData
- More details regarding licensing
- Rerun of properties fixed
- Better and corrected type specs, compatible with dialyxir 1.0.0(-rc*)
- Old modules for automatic type generators removed. They were never completed and
since 2016 no longer part of the API (i.e. even before release 0.0.1).
1.0.6
- After a counter example is resolved, the entire property is run again to
ensure that no other counter examples exist. Thanks to https://github.com/evnu
- tabs vs whitespace corrected for test cases, thanks to https://github.com/ryanwinchester
- added a hint about stored counterexamples for users, thanks to https://github.com/evnu
- Corrected formatting of markdown for documentation, thanks to https://github.com/zamith
1.0.5
- Allows to use
ExUnit
assertions as boolean conditions, thanks to https://github.com/evnu
let
and let_shrink
allow more than two parameters, thanks to https://github.com/BinaryNoggin
- Errors, that aren’t counter examples, are no longer stored as counter examples, thanks to https://github.com/evnu
- new feature
sample_shrink
, thanks to https://github.com/evnu
- the examples for stateful testing use
GenServer.stop/0
for a reliable
stopping of gen servers.
- several documentation issues
1.0.4
produce
has now a valid default parameter
- Removed several lazy compiler warnings
- Link in README corrected.
1.0.3
- Removed debug log output.
1.0.2
- only labeled, never released…
1.0.1
- Bugfix for Mix integration in Umbrella projects, thanks to https://github.com/evnu
1.0.0
- Counter examples are automatically stored and reapplied until the properties work
or the counter examples are deleted. See https://github.com/alfert/propcheck/pull/18
- Mix configuration for counter examples file and for inspecting and cleaning
counter examples.
0.0.2
- Fixed a lot of 1.5 (and 1.4) Elixir warnings thanks to https://github.com/evnu
- Readme additions regarding installation thanks to https://github.com/evnu
- Added more concurrency robustness for the ping pong tests
- Fixed a bug a in the movie server, which did not startup properly.
0.0.1