5 references to Assume
mscorlib (5)
system\diagnostics\contracts\contracts.cs (2)
306ReportFailure(ContractFailureKind.Assume, null, null, null); 327ReportFailure(ContractFailureKind.Assume, userMessage, null, null);
system\diagnostics\contracts\contractsbcl.cs (3)
104if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 342if (failureKind < ContractFailureKind.Precondition || failureKind > ContractFailureKind.Assume) 447case ContractFailureKind.Assume: