search

njit-jerse / specimin

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

Refactor visitors to share state and simplify constructing one visitor from the previous one #321

Closed kelloggm closed 2 months ago

kelloggm commented 2 months ago

This doesn't need a review from both @LoiNguyenCS and @theron-wang, just from one of you (whoever gets to it first is fine).

I also removed some fields from the visitors that weren't ever used.