Actor.RandomBoolean method

Returns a nondeterministic boolean choice, that can be controlled during testing.

protected bool RandomBoolean()

Return Value

The controlled nondeterministic choice.

See Also

• class Actor
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors