ContractFailureKind

enum System.Diagnostics.Contracts.ContractFailureKind

Enumerator
Precondition
Postcondition
PostconditionOnException
Invariant
Assert
Assume

Definition at line 6 of file ContractFailureKind.cs.

{
    Precondition,
    Postcondition,
    PostconditionOnException,
    Invariant,
    Assert,
    Assume
}