Generator.NextInteger method

Returns a random integer, that can be controlled during testing.

public int NextInteger(int maxValue)

See Also

• class Generator
• namespace Microsoft.Coyote.Random
• assembly Microsoft.Coyote