Skip to content

PropEr version 1.3.0
Compare
Choose a tag to compare
@kostis kostis released this 25 Jul 09:38
· 174 commits to master since this release
v1.3
f2b7b81

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.

Assets 2
Loading