search

cvc5 / LFSC

LFSC Proof Checker
Other
11 stars 9 forks source link

Fix deadlock in tests. #38

Closed alex-ozdemir closed 4 years ago

alex-ozdemir commented 4 years ago

Stupid mistake. I even read the relevant docs, I just mis-read them the first time...

The issue is that wait deadlocks if the pipe gets full.

alex-ozdemir commented 4 years ago

LGTM. Could you submit the same fix to the CVC4 repo?

Will do!