// Set environment:
setenv(MC_ENV_VARIABLE, "1", 1);
+ // Disable lazy relocation in the model-ched process.
+ // We don't want the model-checked process to modify its .got.plt during
+ // snapshot.
+ setenv("LC_BIND_NOW", "1", 1);
+
char buffer[64];
res = std::snprintf(buffer, sizeof(buffer), "%i", socket);
if ((size_t) res >= sizeof(buffer) || res == -1)
int main(int argc, char** argv)
{
+ _sg_do_model_check = 1;
+
// We need to keep the original parameters in order to pass them to the
// model-checked process:
int argc_copy = argc;
if (argc < 2)
xbt_die("Missing arguments.\n");
- bool server_mode = true;
- char* env = std::getenv("SIMGRID_MC_MODE");
- if (env) {
- if (std::strcmp(env, "server") == 0)
- server_mode = true;
- else if (std::strcmp(env, "standalone") == 0)
- server_mode = false;
- else
- xbt_die("Unrecognised value for SIMGRID_MC_MODE (server/standalone)");
- }
-
- if (!server_mode) {
- setenv(MC_ENV_VARIABLE, "1", 1);
- execvp(argv[1], argv+1);
-
- std::perror("simgrid-mc");
- return 127;
- }
-
// Create a AF_LOCAL socketpair:
int res;