PropCheck.StateM.ModelDSL.more_commands

You're seeing just the function more_commands, go back to PropCheck.StateM.ModelDSL module for more information.
Link to this function

more_commands(n, cmd_type)

View Source

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.