Comments by marshtompsxd

All comments ranked by humor rating

"Beware of bugs in the above code; I have only proved it correct, not tried it."

Can we follow the naming of

every_in_flight_req_msg_has_different_id_from_pending_req_msg_of

and name this one as

every_in_flight_req_msg_has_different_id_from_pending_req_msg_of_every_ongoing_reconcile