njit-jerse / specimin

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

Use njit-jerse copy of specimin-evaluation #278

Closed kelloggm closed 2 months ago

kelloggm commented 2 months ago

Don't merge yet - I want to run CI again after I've moved all the target repos to the njit-jerse organization and make sure that it passes. Update: I've merged the PR into njit-jerse/specimin-evaluation that updates the target repositories to be the forks under njit-jerse and restarted CI, so as long as CI passes this is ready to merge.