From ff305130e9eb7c68a0b05a37ccc9dcf51ac05f1f Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sun, 20 Mar 2022 21:40:53 +0100 Subject: [PATCH] make pedantic not the default... --- src/smpi/internals/smpi_config.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smpi/internals/smpi_config.cpp b/src/smpi/internals/smpi_config.cpp index 046770446d..55b6c77825 100644 --- a/src/smpi/internals/smpi_config.cpp +++ b/src/smpi/internals/smpi_config.cpp @@ -112,7 +112,7 @@ simgrid::config::Flag _smpi_cfg_comp_adjustment_file{ simgrid::config::Flag _smpi_cfg_default_errhandler_is_error{ "smpi/errors-are-fatal", "Whether MPI errors are fatal or just return. Default is true", true }; simgrid::config::Flag _smpi_cfg_pedantic{ - "smpi/pedantic", "Activate extra checks that may crash slightly incorrect codes which would not crash on actual implementations", true }; + "smpi/pedantic", "Activate extra checks that may crash slightly incorrect codes which would not crash on actual implementations", false }; simgrid::config::Flag _smpi_init_sleep( "smpi/init", "Time to inject inside a call to MPI_Init", 0.0); #if HAVE_PAPI -- 2.20.1