eqc_ex v1.3.0 API Reference
Modules
This module contains macros to be used with Quviq
QuickCheck. It defines Elixir versions of the Erlang
macros found in eqc/include/eqc.hrl
. For detailed documentation of the
macros, please refer to the QuickCheck documentation
This module contains macros to be used with Quviq
QuickCheck. It defines Elixir versions of the Erlang
macros found in eqc/include/eqc_cluster.hrl
. For detailed documentation of the
macros, please refer to the QuickCheck documentation
This module contains macros to be used with Quviq
QuickCheck. It defines Elixir versions of the Erlang
macros found in eqc/include/eqc_component.hrl
. For detailed documentation of the
macros, please refer to the QuickCheck documentation
This module contains functions to be used with Quviq
QuickCheck. It defines an Elixir version of the callout
language found in eqc/include/eqc_component.hrl
. For detailed documentation
of the macros, please refer to the QuickCheck documentation
Properties can be executed using the ExUnit framework using ‘mix test’
This module contains macros to be used with Quviq
QuickCheck. It defines Elixir versions of the Erlang
macros found in eqc/include/eqc_mocking.hrl
. For detailed documentation of the
macros, please refer to the QuickCheck documentation
This module defines macros for using Quviq PULSE with Elixir. For more information about the compiler options see the QuickCheck documentation
This module contains macros to be used with Quviq
QuickCheck. It defines Elixir versions of Erlang
functions found in eqc/include/eqc_statem.hrl
. For detailed documentation of the
functions, please refer to the QuickCheck documentation
A Mix task for running QuickCheck properties
Create the properties for a project