Generator.NextBoolean method

Returns a random boolean, that can be controlled during testing.

public bool NextBoolean()

See Also

• class Generator
• namespace Microsoft.Coyote.Random
• assembly Microsoft.Coyote