void smpi_process_destroy(void)
{
int index = smpi_process_index();
-
+ process_data[index]->index=-100;
XBT_DEBUG("<%d> Process left the game", index);
}
}
}
+/**
+ * @brief Check if a process is finalized
+ */
+int smpi_process_finalized()
+{
+ // If finalized, this value has been set to -100;
+ return process_data[smpi_process_index()]->index==-100;
+}
+
+
#ifdef SMPI_F2C
int smpi_process_argc(void) {
smpi_process_data_t data = smpi_process_data();