PropCheck.StateM.more_commands
You're seeing just the function
more_commands
, go back to PropCheck.StateM module for more information.
Increases the expected length of command sequences generated from
cmd_type
by a factor n
.
CAVEAT<br>
This function does not work properly. My current guess is that this is
a limitation of how PropEr works with sizing an din particular resizing.
The commands list generator (cmd_type
) is not a simple list which can
be sized easily, but a complex construct where the rather simple approach
of resizing does not work as expected.