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