PropEr version 1.4.0

PropEr version 1.4.0 comes with the following release highlights:

• Parallel execution of tests (thanks to @pablocostass)
• An implementation of Targeted Stateful Property-Based Testing (thanks to @xspirus)
• A generator of Erlang programs in abstract code format (thanks to @uabboli)
• Support for Erlang/OTP versions 20.0 to 24.0

In addition, there have been various code improvements and bug fixes (see THANKS file).

A notable backwards incompatible change is the new, cleaner interface for targeted property-based testing.

PropEr version 1.3.0

The 1.3.0 version of PropEr is the first release that comes with built-in support for targeted property-based testing, a powerful extension that incorporates techniques from search-based testing into property-based testing. This extension can be very powerful in situations where it is possible to steer the input generation towards inputs that have higher chance of failing a property. Find out more about this kind of testing in related publications and tutorials.

In addition, the version incorporates a wide range of improvements that have been made since the previous release:

• improving and simplifying multiple generators
• improving the performance of the framework overall
• color printouts
• a ?SETUP macro
• a basic map generator (albeit without support for type annotations-based generation)
• support for Erlang/OTP 20.x and 21.x
• simplified build system
• lots of small bug fixes, code cleanups, etc.

Note also that both the code repository of PropEr and its documentation site have moved.

PropEr version 1.2

This is a (long waited) tagged version of PropEr that incorporates a long list of changes done since 2013 when the previous tagged version was released. Please refer to the GitHub repo to see what has changed. However, as far as we know all changes are backwards compatible and therefore we recommend an upgrade to this tagged version.

Perhaps the most important feature of this tagged version is that it supports a wide range of Erlang/OTP releases. It most probably still works on R13B_, it is known to work correctly on R15B_ onwards, and contains changes that are necessary to also work OK on the upcoming 19.0. Most likely, it will be the last tagged version to support all these OTP releases.

Our current plan is to start working on a 2.0 version of PropEr that will finally provide support for maps and will therefore only work on OTP releases 17.x and newer.