ICoyoteRuntime.RandomBoolean method (1 of 2)

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

public bool RandomBoolean()

Return Value

The nondeterministic boolean choice.

Remarks

See Program non-determinism for more information.

See Also

ICoyoteRuntime.RandomBoolean method (2 of 2)

Returns a nondeterministic boolean choice, that can be controlled during analysis or testing. The value is used to generate a number in the range [0..maxValue), where 0 triggers true.

public bool RandomBoolean(int maxValue)
parameter description
maxValue The max value.

Return Value

The nondeterministic boolean choice.

Remarks

See Program non-determinism for more information.

See Also