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 SetCheckpoint()||Sets a checkpoint in the execution path that is so far explored during the current test iteration. This will capture all controlled scheduling and nondeterministic decisions taken until the checkpoint and the testing engine will then try to replay the same decisions in subsequent iterations before performing any new exploration.|
|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 thread-safe and no-op unless the test engine is attached.
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote