Correctly preserve enum constants that are used in a switch statement, as if they were fields

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

3 stars 5 forks source link

Closed kelloggm closed 4 months ago

kelloggm commented 4 months ago

Based on trying to reproduce #148. The crash that that issue reports no longer is reproducible, but that input does trigger this bug.