search

njit-jerse / specimin

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

Improve handling of resolved yet stuck method calls #301

Closed kelloggm closed 3 months ago

kelloggm commented 3 months ago

Makes the input in #298 compilable. The test case I've added on checks for part of the problem, but I verified the actual problem is fixed, too.