Why Property-based Testing?

Testing

Testing can be a boring task, but it’s a necessity we can’t avoid. Tests are critical to creating a reliable program, especially one that changes over time. They can also prove useful in helping design programs. They are ideal for helping us write tests as users as well as implementers. But mostly, tests are repetitive and sometimes burdensome work.

Take a look at this example test that checks that an Erlang function can take a list of presorted lists and always return them merged as one single sorted list: