Do something sensible with unsolved inner classes

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

3 stars 5 forks source link

Do something sensible with unsolved inner classes #251

Closed kelloggm closed 5 months ago

kelloggm commented 5 months ago

This definitely an incomplete solution, but it avoids the crash in cf-691 (and should handle most cases in the wild, IMO).

Note that the changes around line 738 of UnsolvedSymbolVisitor fix one crash, but that fix causes another crash (related to mismatched type variables) that the inner class logic fixes.

kelloggm commented 5 months ago

Because @LoiNguyenCS is unavailable, I'm going to merge this PR without review once CI passes. @LoiNguyenCS you should take a look at this when you have a chance (maybe next week).