Generator.NextBoolean method (1 of 2)
Returns a random boolean, that can be controlled during testing.
public bool NextBoolean()
See Also
- class Generator
- namespace Microsoft.Coyote.Random
- assembly Microsoft.Coyote
Generator.NextBoolean method (2 of 2)
Returns a random boolean, that can be controlled during testing.
public bool NextBoolean(int maxValue)
See Also
- class Generator
- namespace Microsoft.Coyote.Random
- assembly Microsoft.Coyote