From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 18 Aug 2019 21:29:10 +0000 (+0200)
Subject: switch to infty buffering for now as some tests are broken in zero-buffering mode
X-Git-Tag: v3.24~156
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8b3a964a05100f371bc65e4bdad591d06cb09165

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 0959b78d35..5c296c5732 100644
--- 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 265601dcfc..bd2963d7c7 100644
--- 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"); }};