The events of System.Diagnostics.Contracts.Contract are listed below. For a list of all members, see the Contract Members list.

See Also: Inherited members from System.Object

Public Events

static

ContractFailed

Occurs when a contract fails.