SchedulingPoint.Interleave method

Explores a possible interleaving with another controlled operation.

public static void Interleave()

See Also

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