njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.
MIT License
0 stars 5 forks source link

Unsolved return types could be interfaces #243

Closed kelloggm closed 3 months ago

kelloggm commented 3 months ago

Unfortunately I had to make isAnInterface non-final, but I couldn't figure out a way to check whether there is such an implements clause at the point where I wrote the new comment around line 1500 (which is the ideal place to fix this).

I also made one small refactoring to get rid of an antipattern.