Operation.RegisterCallSite method

Registers the method invoked by the currently executing operation.

public static void RegisterCallSite(string method)

See Also

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