ICoyoteRuntime.RandomInteger method

Returns a nondeterministic integer choice, that can be controlled during analysis or 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.


See Program non-determinism for more information.

See Also