BSD/SysV ptrace resume addr is 1, not 0 like in linux.

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 1600748..f0f149f 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -423,7 +423,7 @@ void ModelChecker::handle_waitpid()
 #ifdef __linux__
         ptrace(PTRACE_CONT, this->process().pid(), 0, WSTOPSIG(status));
 #elif defined BSD
 #ifdef __linux__
         ptrace(PTRACE_CONT, this->process().pid(), 0, WSTOPSIG(status));
 #elif defined BSD

-        ptrace(PT_CONTINUE, this->process().pid(), nullptr, WSTOPSIG(status));
+        ptrace(PT_CONTINUE, this->process().pid(), (caddr_t)1, WSTOPSIG(status));

 #endif
         if (errno != 0)
           xbt_die("Could not PTRACE_CONT");
 #endif
         if (errno != 0)
           xbt_die("Could not PTRACE_CONT");