You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(Parent is QProcess(0x12480b0), parent's thread is QThread(0x12480c0), current thread is QThread(0x2b6a240)
QSocketNotifier: Can only be used with threads started with QThread
I am trying to run Jasper Gold (https://www.cadence.com/en_US/home/tools/system-design-and-verification/formal-and-static-verification.html).
Unfortunately it fails with a lot of repeated
Any hints on how to debug this further?