projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96c168b) | patch
Fix a deadlock in the signature tests. (#4772)
authorAlex Ozdemir <aozdemir@hmc.edu>
Mon, 20 Jul 2020 20:21:06 +0000 (13:21 -0700)
committerGitHub <noreply@github.com>
Mon, 20 Jul 2020 20:21:06 +0000 (13:21 -0700)
commit614ad602bc1f895dad8eaa001a69a4211c5459d2
tree73955680b2bbc777bedac0f85932a1a25ea3dabetree
parent96c168b25d940ccbb20c80087bc17bf7687cc9abcommit | diff
Fix a deadlock in the signature tests. (#4772)

* wait() deadlocks if the OS pipe fills
* communicate() does not

This is essentially a duplicate of [this](https://github.com/CVC4/LFSC/pull/38).
test/signatures/run_test.py diff | blob | history