PropCheck - Property Testing v1.1.4 API Reference

Modules

Provides the macros and functions for property based testing using proper as base implementation. PropCheck supports many features of PropEr, but the automated generation of test data generators is only partially supported due to internal features of PropEr focussing of Erlang only

This modules contains all basic type generators from PropEr. It is automatically available by use PropCheck

The finite state machine approach for stateful systems, which is closer to Erlangs gen_fsm model

This module defined the property/4 macro. It is automatically available by use PropCheck

This module defines the :proper_statem behaviour, useful for testing stateful reactive systems whose internal state and side-effects are specified via an abstract state machine. Given a callback module implementing the :proper_statem behaviour (i.e. defining an abstract state machine of the system under test), PropEr can generate random symbolic sequences of calls to that system

This module provides a shallow DSL (domain specific language) in Elixir for property based testing of stateful systems

This module defines the top-level behaviour for targeted property-based testing (TPBT). Using TPBT the input generation is no longer random, but guided by a search strategy to increase the probability of finding failing input. For this to work the user has to specify a search strategy and also needs to extract utility-values from the system under test that the search strategy then tries to maximize

Mix Tasks

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

Removes the counter example file of propcheck

Inspects all counter examples