Trace Recovery tool stuck forever?
Test was done on project called ow2_test ( a clone of sat4j project: https://gitlab.ow2.org/sat4j/sat4j/ ).
Trace Recovery launched on a file called PuebloPBMinDataStructure.java .
When launched, the process seems to be stuck forever, at least more than 45 minutes (window stays in the following state):
No way to finish it properly.