+ BEGIN_SECTION("comm (delayed send)")
+ {
+ XBT_INFO("Launch a communication with a delay for the send");
+ bool send_done = false;
+ bool recv_done = false;
+
+ sender_basic(send_done, true, 6, 1); // cover Comm::send
+ receiver_basic(recv_done, true, 6);
+
+ simgrid::s4u::this_actor::sleep_for(9);
+ INFO("Sender or receiver killed somehow. It shouldn't");
+ REQUIRE(send_done);
+ REQUIRE(recv_done);
+
+ END_SECTION;
+ }
+
+ BEGIN_SECTION("comm (delayed recv)")
+ {
+ XBT_INFO("Launch a communication with a delay for the recv");
+ bool send_done = false;
+ bool recv_done = false;
+
+ sender_basic(send_done, true, 6);
+ receiver_basic(recv_done, true, 6, 1); // cover Comm::recv
+
+ simgrid::s4u::this_actor::sleep_for(9);
+ INFO("Sender or receiver killed somehow. It shouldn't");
+ REQUIRE(send_done);
+ REQUIRE(recv_done);
+
+ END_SECTION;
+ }
+