search

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon
Other
9 stars 1 forks source link

Don't chain method calls that reach a fixpoint #85

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 Todd.Sch...@gmail.com on 18 Mar 2013 at 10:08

GoogleCodeExporter commented 9 years ago

Original comment by Todd.Sch...@gmail.com on 30 May 2013 at 12:20