Operation.CreateNext method

Creates a new controlled operation and returns its unique id, or null if the test engine is detached.

public static ulong? CreateNext()

See Also

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