eqc_ex v1.4.2 EQC.Cluster

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.

Copyright (C) Quviq AB, 2014-2016.

Summary

Functions

pretty_commands(mod, cmds, res, bool)

Same as :eqc_component.pretty_commands/4 but takes a keyword list with :history, :state, and :result instead of a tuple as the third argument

run_commands(mod, cmds)

Same as :eqc_cluster.run_commands/2 but returns a keyword list with :history, :state, and :result instead of a tuple

run_commands(mod, cmds, env)

Same as :eqc_cluster.run_commands/3 but returns a keyword list with :history, :state, and :result instead of a tuple

Macros

weight(cmds)

Generate a weight function given a keyword list of component names and weights

Functions

pretty_commands(mod, cmds, res, bool)

Same as :eqc_component.pretty_commands/4 but takes a keyword list with :history, :state, and :result instead of a tuple as the third argument.

run_commands(mod, cmds)

Same as :eqc_cluster.run_commands/2 but returns a keyword list with :history, :state, and :result instead of a tuple.

run_commands(mod, cmds, env)

Same as :eqc_cluster.run_commands/3 but returns a keyword list with :history, :state, and :result instead of a tuple.

Macros

weight(cmds)

Generate a weight function given a keyword list of component names and weights.

Usage:

weight component1: weight1, component2: weight2

Components not in the list get weight 1.