model-checker : improve stack ignore in heap comparison algorithm

[simgrid.git] / src / xbt / win32_ucontext.c

diff --git a/src/xbt/win32_ucontext.c b/src/xbt/win32_ucontext.c
index 1d8adce..b6d5caf 100644 (file)
--- a/src/xbt/win32_ucontext.c
+++ b/src/xbt/win32_ucontext.c
@@ -27,7 +27,7 @@ int getcontext(ucontext_t * ucp)
   int ret;\r
   \r
       /* Retrieve the full machine context */ \r
-      ucp->uc_mcontext.ContextFlags = CONTEXT_FULL;\r
+      ucp->uc_mcontext.ContextFlags = CONTEXT_FULL | CONTEXT_DEBUG_REGISTERS;\r
   ret = GetThreadContext(GetCurrentThread(), &ucp->uc_mcontext);\r
   return (ret == 0) ? -1 : 0;\r
 }\r
@@ -72,7 +72,7 @@ int makecontext(ucontext_t * ucp, void (*func) (), int argc, ...)
   #endif\r
 \r
       /* Save/Restore the full machine context */ \r
-      ucp->uc_mcontext.ContextFlags = CONTEXT_FULL;\r
+      ucp->uc_mcontext.ContextFlags = CONTEXT_FULL | CONTEXT_DEBUG_REGISTERS;\r
   \r
       /* Copy the arguments */ \r
       va_start(ap, argc);\r