PropCheck.FSM.weight
You're seeing just the callback
weight
, go back to PropCheck.FSM module for more information.
Specs
weight(from :: state_name(), target :: state_name(), call :: symbolic_call()) :: integer()
This is an optional callback. When it is not defined (or not exported),
transitions are chosen with equal probability. When it is defined, it
assigns an integer weight to transitions from from
to target
triggered by symbolic call call
. In this case, each transition is chosen
with probability proportional to the weight assigned.