Add an infinite loop defense and extend the fix in #285 to also handle Java 14 pattern variables

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

0 stars 5 forks source link

Add an infinite loop defense and extend the fix in #285 to also handle Java 14 pattern variables #287

Closed kelloggm closed 1 month ago

kelloggm commented 1 month ago

The change to the infinite loop defense in SpeciminRunner would have prevented the infinite loop bug in #279 entirely: instead of an infinite loop, the manifestation of the bug would have been non-compilable output from Specimin, which is much less bad. I've tested that with both the new test case in this PR and the test case in #285.