status update for target compilation (removing JDK-8319461)

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

3 stars 5 forks source link

Closed tahiat closed 5 months ago

kelloggm commented 5 months ago

I've merged this PR in #252, which should allow #252 to pass CI and be merged.