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