3 references to Postcondition
mscorlib (3)
system\diagnostics\contracts\contracts.cs (2)
473AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures"); 493AssertMustUseRewriter(ContractFailureKind.Postcondition, "Ensures");
system\diagnostics\contracts\contractsbcl.cs (1)
455case ContractFailureKind.Postcondition: