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
|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.|
See Program non-determinism for more information.
- namespace Microsoft.Coyote.Random
- assembly Microsoft.Coyote