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

  • Initial release