Aniruddha Kanhere b04c65f3c1

Fix bugs in receiveSingleIteration and optimize sendMessageVector (#218) ...

* Update the timout check in the send function

* Fix direction of check

* Allow processing of data in the buffer

* Fix formatting and unit-tests

* Update comment to clarify control flow

* Fix Disconnect CBMC proof and update size table

* Fix formatting and CBMC proofs

* Fix last CBMC proof

* Fix broken unit tests and add branch coverage

2022-09-21 15:26:58 -07:00

..

size_table.md

Fix bugs in receiveSingleIteration and optimize sendMessageVector (#218)

2022-09-21 15:26:58 -07:00