Explores a possible interleaving due to a ‘READ’ operation on the specified shared state.
public static void Read(string state, IEqualityComparer<string> comparer = null)
|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.|
- class SchedulingPoint
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote