(wip) Move the MCed public API in the same file

[simgrid.git] / src / mc / mc_client.c

diff --git a/src/mc/mc_client.c b/src/mc/mc_client.c
index 55cc2ca..6a8d4ee 100644 (file)
--- a/src/mc/mc_client.c
+++ b/src/mc/mc_client.c
@@ -13,10 +13,16 @@
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>

+#include <xbt/mmalloc.h>

 
 #include "mc_protocol.h"
 #include "mc_client.h"
 
 
 #include "mc_protocol.h"
 #include "mc_client.h"
 

+// We won't need those once the separation MCer/MCed is complete:
+#include "mc_mmalloc.h"
+#include "mc_ignore.h"
+#include "mc_model_checker.h"
+

 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client, mc, "MC client logic");
 
 mc_client_t mc_client;
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client, mc, "MC client logic");
 
 mc_client_t mc_client;


@@ -56,6 +62,12 @@ void MC_client_hello(void)
   XBT_DEBUG("Greeted the MC server");
 }
 
   XBT_DEBUG("Greeted the MC server");
 }
 

+void MC_client_send_message(void* message, size_t size)
+{
+  if (MC_protocol_send(mc_client->fd, message, size))
+    xbt_die("Could not send message %i", (int) ((mc_message_t)message)->type);
+}
+

 void MC_client_handle_messages(void)
 {
   while (1) {
 void MC_client_handle_messages(void)
 {
   while (1) {