PropCheck.StateM.DSL.weight
You're seeing just the callback
weight
, go back to PropCheck.StateM.DSL module for more information.
Specs
weight(symbolic_state()) :: %{required(command_name()) => pos_integer()}
DEPRECATED : This module is deprecated, please use
PropCheck.Statem.ModelDSL
instead.
The optional weights for the command generation. It takes the current
model state and returns a map of command/weight pairs. Commands,
which are not allowed in a specific state, should be omitted, since
a frequency of 0
is not allowed.
def weight(state), do: %{x: 1, y: 1, a: 2, b: 2}