// value to the model-checked:
char** argv_copy = argvdup(argc, argv);
xbt_log_init(&argc, argv);
// value to the model-checked:
char** argv_copy = argvdup(argc, argv);
xbt_log_init(&argc, argv);
smpi_init_options();//only performed once
#endif
sg_config_init(&argc, argv);
smpi_init_options();//only performed once
#endif
sg_config_init(&argc, argv);