improve an error message

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 6ed45ba..dd1e268 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -81,12 +81,17 @@ static void segvhandler(int signum, siginfo_t *siginfo, void *context)
 {
   if (siginfo->si_signo == SIGSEGV && siginfo->si_code == SEGV_ACCERR) {
     fprintf(stderr, "Access violation detected.\n"
-                    "This can result from a programming error in your code or, although less likely,\n"
-                    "from a bug in SimGrid itself.  This can also be the sign of a bug in the OS or\n"
-                    "in third-party libraries.  Failing hardware can sometimes generate such errors\n"
-                    "too.\n"
-                    "Finally, if nothing of the above applies, this can result from a stack overflow.\n"
-                    "Try to increase stack size with --cfg=contexts/stack-size (current size is %d KiB).\n",
+                    "This probably comes from a programming error in your code, or from a stack\n"
+                    "overflow. If you are certain of your code, try increasing the stack size\n"
+                    "   --cfg=contexts/stack-size=XXX (current size is %d KiB).\n"
+                    "\n"
+                    "If it does not help, this may have one of the following causes:\n"
+                    "a bug in SimGrid, a bug in the OS or a bug in a third-party libraries.\n"
+                    "Failing hardware can sometimes generate such errors too.\n"
+                    "\n"
+                    "If you think you've found a bug in SimGrid, please report it along with a\n"
+                    "Minimal Working Example (MWE) reproducing your problem and a full backtrace\n"
+                    "of the fault captured with gdb or valgrind.\n",
             smx_context_stack_size / 1024);
     if (XBT_LOG_ISENABLED(simix_kernel, xbt_log_priority_debug)) {
       fprintf(stderr, "siginfo = {si_signo = %d, si_errno = %d, si_code = %d, si_addr = %p}\n",