Closed emorell96 closed 2 years ago
I have removed the correctness checks from the deadlocks checks. Those are in separate tests.
Thank you!!
Version 14.0.0 was released including your changes. Thanks for your great work!
Sure no problem! Always happy to contribute :)
I have removed the correctness checks from the deadlocks checks. Those are in separate tests.