Actor.RandomInteger method
Returns a nondeterministic integer, that can be controlled during testing. The value is used to generate an integer in the range [0..maxValue).
protected int RandomInteger(int maxValue)
| parameter | description |
|---|---|
| maxValue | The max value. |
Return Value
The controlled nondeterministic integer.
See Also
- class Actor
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors