eqc_ex v1.4.2 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. At the moment, this basically calls mix test with the given options

A Mix task for installing QuickCheck as a local archive. Note that you need a QuickCheck licence to be able to run the full version of QuickCheck (mailto: support@quviq.com to purchase one). QuickCheck Mini is Quviq’s free version of QuickCheck

A Mix task for registration of QuickCheck when registration key has been provided. Only needed for commercial version

A Mix task for creating a template for a specific QuickCheck model

A Mix task for deleting QuickCheck as a local archive

Create the properties for a project