Configuration.WithRandomStrategy method

Updates the configuration to use the random exploration strategy during systematic testing.

public Configuration WithRandomStrategy()

Remarks

Note that explicitly setting this strategy disables the default exploration mode that uses a tuned portfolio of strategies.

See Also

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