Infinite recursion when visiting pure methods

codespecs / daikon-dot-net-front-end

Celeriac .NET Front-End for Daikon

Other

9 stars 1 forks source link

Infinite recursion when visiting pure methods #90

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

What steps will reproduce the problem?
1. Add a method from the assembly to the purity file 
2. Run the program

What is the expected output? What do you see instead?

The program crashes with a stack overflow exception

I think I broke the nesting depth tracking / check when I modified the IL 
rewriting for sampling.

Original issue reported on code.google.com by Todd.Sch...@gmail.com on 2 Apr 2013 at 3:10

GoogleCodeExporter commented 9 years ago

Fixed in 8f3e1b38fa4b

Original comment by Todd.Sch...@gmail.com on 2 Apr 2013 at 10:18

Changed state: Fixed