Configuration.WithControlFlowRaceCheckingEnabled method
Updates the configuration with race checking at control-flow branching locations enabled or disabled. If this race checking strategy is enabled, then the runtime will explore interleavings at control-flow branching locations.
public Configuration WithControlFlowRaceCheckingEnabled(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then checking races at control-flow branching locations is enabled. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote