SchedulingPoint.Suppress method

Suppresses interleavings until Resume is invoked.

public static void Suppress()

Remarks

This method does not suppress interleavings that happen when an operation is waiting some other operation to complete, when an operation completes and the scheduler switches to a new operation, or interleavings from uncontrolled concurrency.

See Also

• class SchedulingPoint
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote