Comment 2 for bug 1967129

Revision history for this message
Jiri Srba (srba) wrote :

The problem is with CANNOT_COMPUTE is resolved now. However, the engine returns now trace but the GUI is trying to parse it and throws "Premature end of file" exception. Also the verification takes about 20 seconds (due to call to LP solver in query reduction phase)