SendOptions constructor

Initializes a new instance of the SendOptions class.

public SendOptions(bool mustHandle = false, int assert = -1, int hashedState = 0)

See Also

• class SendOptions
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors