ICoyoteRuntime.RandomBoolean method

Returns a nondeterministic boolean choice, that can be controlled during 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