Configuration.RandomGeneratorSeed property

Custom seed to be used by the random value generator. By default, this value is null indicating that no seed has been set.

public uint? RandomGeneratorSeed { get; }

See Also

• class Configuration
• namespace Microsoft.Coyote
• assembly Microsoft.Coyote