Have SMPI fail on MPI_ERR_* in MC mode

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0198945..4614f28 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -22,6 +22,8 @@ SMPI:
 
 Model-Checker:
  - Option model-checker/hash was removed. This is always activated now.
+ - MPI calls now MC_assert() that no MPI_ERR_* code is returned. 
+   This is useful to check for MPI compliance.
 
 XBT:
  - xbt_mutex_t and xbt_cond_t are now marked as deprecated, a new C interface