Fix CI failure - Githubissues

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

https://distcompiler.github.io/

Apache License 2.0

174 stars 14 forks source link

Closed shayanh closed 2 years ago

shayanh commented 2 years ago

I believe CI failures are due to two problems in the tcp mailboxes that I describe them below.

Receiving duplicate commit messages causes negative wait group count and a panic consequently. This issue happened exactly after we decreased send timeout value.
If a remote tcp mailbox aborts after sending precommit causes the receiving side to get blocked forever and it cannot gets closed.

fhackett commented 2 years ago

This is done now, closing. (see above, it just didn't reflect in the issues list)