Don't lose information in synthetic types when correcting their type via JavaTypeCorrect

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

Also incidentally cleaned up some ISSTA tech debt that happened to get in the way.