Skip to content

Latest commit

 

History

History
159 lines (114 loc) · 6.99 KB

CHANGELOG.md

File metadata and controls

159 lines (114 loc) · 6.99 KB

PropCheck Changelog

Current Development

1.4.2

1.4.0

  • Support for PropEr 1.4.0

1.3.1

1.3.0

  • Upgrade to Elixir 1.7 as lowest Elixir version, since get_stacktrace() is deprecated in Elixir 1.11. Thanks to @flowerett
  • :iex is now an extra-application. Thanks to @ahamez
  • Support for parallel testing of state machines started. Requires also PRs in the upstream PropEr. An upgrade to (the future) PropEr 1.4 will result in better reports.

1.2.2

1.2.1

1.2.0

1.1.5

1.1.4

  • Fixes an issue with the setup of regular and targeted properties rendering 1.1.3 unusable
  • Enhanced documentation for targeted properties

1.1.3

  • Better command generator with improved shrinking for complex argument generations.
  • Support for map-generator, thanks to https://github.com/IRog
  • Support for targeted properties, a new feature of Proper 1.3
  • Requires at least Elixir 1.5

1.1.2

  • Proper v1.3.0 is supported (effectively, all 1.x versions are allowed as dependency)

1.1.1

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

1.0.5

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

1.0.0

  • Counter examples are automatically stored and reapplied until the properties work or the counter examples are deleted. See #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

  • Initial release