search

njit-jerse / specimin

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

Fix package name computation #300

Closed kelloggm closed 3 months ago

kelloggm commented 3 months ago

I don't have a test case for this problem, since I noticed it while investigating another, unrelated issue (#298).

I think it should be clear what the issue is and that this fix is correct, though.

LoiNguyenCS commented 3 months ago

Ah now I see it. Package name is only necessary when the involved method uses lambda expressions as arguments. Since unsolvedstaticmethod does not involve lambda expressions, this bug still went unnoticed until now.