System.Diagnostics.Contracts.ContractFailureKind public enum ContractFailureKind Documentation Assert = 4 Assume = 5 Invariant = 3 Postcondition = 1 PostconditionOnException = 2 Precondition = 0