Generator class
Represents a pseudo-random value generator, which is an algorithm that produces a sequence of values that meet certain statistical requirements for randomness. During systematic testing, the generation of random values is controlled, which allows the runtime to explore combinations of choices to find bugs.
public class Generator
Public Members
name | description |
---|---|
static Create() | Creates a new pseudo-random value generator. |
NextBoolean() | Returns a random boolean, that can be controlled during testing. |
NextInteger(…) | Returns a random integer, that can be controlled during testing. |
Remarks
See Program non-determinism for more information.
See Also
- namespace Microsoft.Coyote.Random
- assembly Microsoft.Coyote