if (properties->find("smpi_replay") == properties->end()) {
XBT_ERROR("invalid smpireplaymain execution. Please use smpirun -replay instead.");
return 1;
if (properties->find("smpi_replay") == properties->end()) {
XBT_ERROR("invalid smpireplaymain execution. Please use smpirun -replay instead.");
return 1;