SchedulingPoint class
Provides a set of static methods for declaring points in the execution where interleavings between operations should be explored during testing.
public static class SchedulingPoint
Public Members
name | description |
---|---|
static Interleave() | Explores a possible interleaving with another controlled operation. |
static Read(…) | Explores a possible interleaving due to a ‘READ’ operation on the specified shared state. |
static Resume() | Resumes interleavings that were suppressed by invoking Suppress . |
static Suppress() | Suppresses interleavings until Resume is invoked. |
static Write(…) | Explores a possible interleaving due to a ‘WRITE’ operation on the specified shared state. |
static Yield() | Attempts to yield execution to another controlled operation. |
Remarks
These methods are no-op in production.
See Also
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote