Operation.GetNextId method

Returns the next available unique operation id, or null if the test engine is detached.

public static ulong? GetNextId()

See Also

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