Skip processing explicit constructor invocations until all arguments can be solved

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

3 stars 5 forks source link

Closed kelloggm closed 5 months ago

kelloggm commented 5 months ago

This adopts the same strategy we use for "regular" method calls.

Fixes one crash on CF-691. However, another is revealed.