Configuration.WithPartialOrderSamplingEnabled method
Updates the configuration with partial-order sampling enabled or disabled. If this reduction strategy is enabled, then the runtime will attempt to reduce the schedule space by taking into account any ‘READ’ and ‘WRITE’ races declared by invoking Read and Write.
public Configuration WithPartialOrderSamplingEnabled(bool isEnabled = true)
| parameter | description |
|---|---|
| isEnabled | If true, then partial-order sampling is enabled. |
See Also
- class Configuration
- namespace Microsoft.Coyote
- assembly Microsoft.Coyote