search

njit-jerse / specimin

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

Allow target fields #247

Closed LoiNguyenCS closed 5 months ago

LoiNguyenCS commented 5 months ago

Professor,

This is the PR to allow target fields.

I have decided to add --targetFields as an additional argument to run Specimin. Another approach would be to change--targetMethod to --targetMembers, but that would require refactoring in too many places: test files, field names in the Visitors, comments related to target methods, scripts in specimin-evaluation, and so on.

tahiat commented 5 months ago

Please, merge the latest main to your branch

kelloggm commented 5 months ago

Waiting to merge this until I change the evaluation script so that cf-691 targets the correct field, and we can update the preservation status on this branch.

kelloggm commented 5 months ago

I am working on fixing the fact that with this change the output of CF 691 is not correct. Since this branch just reveals the problem (rather than causing it), that fix can go in a separate branch.