SendOptions class
Represents a send event configuration that is used during testing.
public class SendOptions
Public Members
name | description |
---|---|
SendOptions(…) | Initializes a new instance of the SendOptions class. |
static Default { get; } | The default send options. |
Assert { get; } | Asserts that there must not be more than N instances of the event in the inbox queue of the receiver. |
HashedState { get; } | User-defined hash of the event. The default value is 0. Override to improve the accuracy of stateful techniques during testing. |
MustHandle { get; } | True if this event must always be handled, else false. |
override ToString() | A string that represents the current options. |
See Also
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors