- int res = checker_side_.get_channel().send(MessageType::FINALIZE);
- xbt_assert(res == 0, "Could not ask the app to finalize MPI on need");
- s_mc_message_int_t message;
- ssize_t s = checker_side_.get_channel().receive(message);
+ s_mc_message_int_t m;
+ memset(&m, 0, sizeof m);
+ m.type = MessageType::FINALIZE;
+ m.value = terminate_asap;
+ int res = checker_side_.get_channel().send(m);
+ xbt_assert(res == 0, "Could not ask the app to finalize on need");
+
+ s_mc_message_t answer;
+ ssize_t s = checker_side_.get_channel().receive(answer);