ICoyoteRuntime.RandomInteger method
Returns a nondeterministic integer choice, that can be controlled during testing. The value is used to generate an integer in the range [0..maxValue).
public int RandomInteger(int maxValue)
| parameter | description |
|---|---|
| maxValue | The max value. |
Return Value
The nondeterministic integer choice.
Remarks
See Program non-determinism for more information.
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote