/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
simgrid::s4u::this_actor::sleep_for(2);
receiver_basic(recv_done, true, 1);
simgrid::s4u::this_actor::sleep_for(2);
receiver_basic(recv_done, true, 1);
simgrid::s4u::this_actor::sleep_for(2);
sender_dtach(dsend_done, true, 0);
simgrid::s4u::this_actor::sleep_for(2);
sender_dtach(dsend_done, true, 0);
simgrid::s4u::this_actor::sleep_for(0.00001);
INFO("Sender was not killed properly or receiver killed somehow. It shouldn't");
simgrid::s4u::this_actor::sleep_for(0.00001);
INFO("Sender was not killed properly or receiver killed somehow. It shouldn't");