Closed ariannab closed 6 years ago
This fix avoids duplicated identifier that generate conflicts in Randoop
Closing this because I've submitted a better and more comprehensive pull request.
This fix avoids duplicated identifier that generate conflicts in Randoop