barry-m / checker-framework

Automatically exported from code.google.com/p/checker-framework
Other
0 stars 0 forks source link

ConcurrentModificationException in EqualitiesSolver #420

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
I suspect that finding a tidy repro for this is going to be hard, so I'm 
sharing the stack trace first in case that's enough to identify the problem. 
Let me know if you need more information.

Original issue reported on code.google.com by cus...@google.com on 25 Mar 2015 at 1:18

Attachments:

GoogleCodeExporter commented 9 years ago
I refactored the code on the stack trace a bit:
https://code.google.com/p/checker-framework/source/detail?r=ac561a287ca62fefec44
c2cb084ba7530fff8188

Can you check whether that fixed the issue?
Thanks,
cu, WMD.

Original comment by wdi...@gmail.com on 25 Mar 2015 at 9:34

GoogleCodeExporter commented 9 years ago
Confirmed, that fixed both of the instances I saw. Thanks!

Original comment by cus...@google.com on 25 Mar 2015 at 4:52

GoogleCodeExporter commented 9 years ago

Original comment by michael.ernst@gmail.com on 25 Mar 2015 at 5:28

GoogleCodeExporter commented 9 years ago

Original comment by wdi...@gmail.com on 25 Mar 2015 at 8:58

GoogleCodeExporter commented 9 years ago

Original comment by jtha...@cs.washington.edu on 18 Apr 2015 at 6:42