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