Configuration.WithExecutionTraceCycleReductionEnabled method
Updates the configuration with execution trace reduction enabled or disabled. If this reduction strategy is enabled, then the runtime will attempt to reduce the schedule space by identifying and de-prioritizing cycles in the execution trace.
public Configuration WithExecutionTraceCycleReductionEnabled(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then execution trace reduction is enabled. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote