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