PropCheck - Property Testing v1.1.4 mix propcheck View Source

PropCheck runs property checking as part of ExUnit test and stores counter examples of failing properties in order to reapply them in the next test run.

The file name for the counter examples can be configured in mix.exs in the project configuration as

propcheck: [counter_example: "filename"]

With mix propcheck.inspect you can inspect the found counter examples, with mix propcheck.clean the file is deleted afterwards.

Link to this section Summary

Functions

A task needs to implement run which receives a list of command line args

Link to this section Functions

A task needs to implement run which receives a list of command line args.

Callback implementation for Mix.Task.run/1.