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
|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
|static Suppress()||Suppresses interleavings until
|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.|
These methods are no-op in production.