Configuration.WithRLStrategy method

Updates the configuration to use the reinforcement learning (RL) scheduling strategy during systematic testing.

public Configuration WithRLStrategy()

See Also

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