Configuration.WithRandomGeneratorSeed method

Updates the seed used by the random value generator during systematic testing.

public Configuration WithRandomGeneratorSeed(uint seed)

parameter	description
seed	The seed used by the random value generator.

See Also

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