Configuration.WithLockAccessRaceCheckingEnabled method
Updates the configuration with race checking for lock accesses enabled or disabled. If this race checking strategy is enabled, then the runtime will explore interleavings when concurrent operations try to access lock-based synchronization primitives.
public Configuration WithLockAccessRaceCheckingEnabled(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then checking races at lock accesses is enabled. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote