switch to infty buffering for now as some tests are broken in zero-buffering mode

diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst
index 0959b78..5c296c5 100644 (file)
--- a/docs/source/Configuring_SimGrid.rst
+++ b/docs/source/Configuring_SimGrid.rst
@@ -490,7 +490,7 @@ Safety properties are expressed as assertions using the function
 Specifying the MPI buffering behavior
 .....................................
 
-**Option** ``smpi/buffering`` **Default:** zero
+**Option** ``smpi/buffering`` **Default:** infty
 
 Buffering in MPI has a huge impact on the communication semantic. For example,
 standard blocking sends are synchronous calls when the system buffers are full

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index 265601d..bd2963d 100644 (file)
--- a/src/mc/mc_config.cpp
+++ b/src/mc/mc_config.cpp
@@ -76,7 +76,7 @@ simgrid::config::Flag<bool> _sg_mc_send_determinism{
 simgrid::config::Flag<std::string> _sg_mc_buffering{
     "smpi/buffering",
     "Buffering semantic to use for MPI (only used in MC)",
-    "zero",
+    "infty",
     {{"zero", "No system buffering: MPI_Send is blocking"},
      {"infty", "Infinite system buffering: MPI_Send returns immediately"}},
     [](const std::string& value) { _mc_cfg_cb_check("buffering mode"); }};