This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

Postcondition missing from StringBuilder.AppendFormat(IFormatProvider, string, object) #491

Open

yaakov-h opened this issue Jul 19, 2017 · 0 comments

Contributor

yaakov-h commented Jul 19, 2017 •

edited

Loading

Probably all contract missing from this method, not just postconditions.

warning : CodeContracts: Possibly calling a method on a null reference. Do you expect that System.Text.StringBuilder.AppendFormat(System.IFormatProvider,System.String,System.Object) returns non-null?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.