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