#include "mc_ignore.h"
#include "mcer_ignore.h"
#include "mc_exit.h"
-#include "mc/mc_liveness.h"
+#include "src/mc/mc_liveness.h"
using simgrid::mc::remote;
xbt_die("Broken message");
memcpy(&message, buffer, sizeof(message));
if (message.callback)
- xbt_die("Support for callbacks/functions symbols not implemented in client/server mode.");
+ xbt_die("Support for client-side function proposition is not implemented.");
XBT_DEBUG("Received symbol: %s", message.name);
if (_mc_property_automaton == NULL)