njit-jerse / specimin

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

Checking CI status for preservation status #226

Closed tahiat closed 3 months ago

LoiNguyenCS commented 3 months ago

Wow, the output of the CI looks so promising. So we have 4/14 projects not passing the preservation test, and 2 of them are due to failing in minimization? Am I misunderstanding something here?

tahiat commented 3 months ago

Wow, the output of the CI looks so promising. So we have 4/14 projects not passing the preservation test, and 2 of them are due to failing in minimization? Am I misunderstanding something here?

You are right.

tahiat commented 3 months ago

depends on https://github.com/tahiat/specimin-evaluation/pull/34