SendOptions.Assert property

Asserts that there must not be more than N instances of the event in the inbox queue of the receiver.

public int Assert { get; }

See Also

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