#include <xbt/log.h>
-#include "simix/smx_private.h"
+#include "src/simix/smx_private.h"
-#include "mc_smx.h"
+#include "src/mc/mc_smx.h"
#include "ModelChecker.hpp"
using simgrid::mc::remote;
void MC_process_smx_refresh(simgrid::mc::Process* process)
{
xbt_assert(mc_mode == MC_MODE_SERVER);
- xbt_assert(!process->is_self());
if (process->cache_flags & MC_PROCESS_CACHE_FLAG_SIMIX_PROCESSES)
return;
const char* MC_smx_process_get_host_name(smx_process_t p)
{
if (mc_mode == MC_MODE_CLIENT)
- return SIMIX_host_get_name(p->smx_host);
+ return SIMIX_host_get_name(p->host);
simgrid::mc::Process* process = &mc_model_checker->process();
if (!info->hostname) {
// Read the hostname from the MCed process:
- process->read_bytes(&host_copy, sizeof(host_copy), remote(p->smx_host));
+ process->read_bytes(&host_copy, sizeof(host_copy), remote(p->host));
int len = host_copy.key_len + 1;
char hostname[len];
process->read_bytes(hostname, len, remote(host_copy.key));
return info->name;
}
+#ifdef HAVE_SMPI
int MC_smpi_process_count(void)
{
if (mc_mode == MC_MODE_CLIENT)
return res;
}
}
+#endif
unsigned long MC_smx_get_maxpid(void)
{