PropCheck Changelog

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 depedency)

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

  • 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

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 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

  • Initial release