ICoyoteRuntime.RandomBoolean method (1 of 2)
Returns a nondeterministic boolean choice, that can be controlled during analysis or testing.
public bool RandomBoolean()
Return Value
The nondeterministic boolean choice.
Remarks
See Program non-determinism for more information.
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
ICoyoteRuntime.RandomBoolean method (2 of 2)
Returns a nondeterministic boolean choice, that can be controlled during analysis or testing. The value is used to generate a number in the range [0..maxValue), where 0 triggers true.
public bool RandomBoolean(int maxValue)
parameter | description |
---|---|
maxValue | The max value. |
Return Value
The nondeterministic boolean choice.
Remarks
See Program non-determinism for more information.
See Also
- interface ICoyoteRuntime
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote