Skip to content

Verification of receive messages and check channels

Kimaya Bedarkar requested to merge kimaya/changeArrivals into master

This MR adds the specs for receive_messages and receive_one_message. Some of the previous specs for receive_one_message and read have also been changed following a change in the underlying ground truth.

Merge request reports