Operation.CreateFrom method

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

public static ulong? CreateFrom(IOperationBuilder builder)

See Also

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