eqc_ex v1.2.1

Modules summary

EQC

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

EQC.Component

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

EQC.Component.Callouts

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

EQC.ExUnit
EQC.Mocking

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

EQC.Pulse

This module defines macros for using Quviq PULSE with Elixir. For more information about the compiler options see the QuickCheck documentation

EQC.StateM
Mix.Tasks.EqcCI

Create the properties for a project