Configuration.WithAtomicOperationRaceCheckingEnabled method
Updates the configuration with race checking for atomic operations enabled or disabled. If this race checking strategy is enabled, then the runtime will explore interleavings when invoking atomic operations, such as Interlocked methods.
public Configuration WithAtomicOperationRaceCheckingEnabled(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then checking races at atomic operations is enabled. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote