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