Make type correction and inner classes compose correctly

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

0 stars 5 forks source link

Closed kelloggm closed 2 months ago

kelloggm commented 2 months ago

~~This PR cannot be reviewed until both #274 and #275 have been merged, because it incorporates both of those.~~

kelloggm commented 2 months ago

@LoiNguyenCS I think this PR is ready for review (as long as it passes CI).