You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What steps will reproduce the problem?
1. Mark the string ToUpper method as pure
The trace will contain x.ToUpper.ToUpper which is not informative.
We need a way of indicating that a method reaches a fixpoint after a call
(normalizes?).
Original issue reported on code.google.com by [email protected] on 18 Mar 2013 at 10:08
The text was updated successfully, but these errors were encountered:
Original issue reported on code.google.com by
[email protected]
on 18 Mar 2013 at 10:08The text was updated successfully, but these errors were encountered: