SchedulingPoint.Write method
Explores a possible interleaving due to a ‘WRITE’ operation on the specified shared state.
public static void Write(string state, IEqualityComparer<string> comparer = null)
| parameter | description |
|---|---|
| state | The shared state that is being written represented as a string. |
| comparer | Checks if the written shared state is equal with another shared state that is being accessed concurrently. |
See Also
- class SchedulingPoint
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote