search

njit-jerse / specimin

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

Handle Override annotation #230

Closed LoiNguyenCS closed 6 months ago

LoiNguyenCS commented 6 months ago

Professor,

This PR handles the missing overridden method bug related to cf-577. Please take a look. Thank you.