Mc SimGrid should test whether ptrace is usable
Our model-checker depends on the ptrace() syscall, to be notified in time when the verified application segfault. Without this call, we would not be able to inspect the memory before the process terminaison.
The problem is that this syscall is disabled by default on docker. One need to pass
--cap-add=SYS_PTRACE to the docker command line, or the following to the docker compose file.
cap_add: - SYS_PTRACE
It would be nice if SimGrid could issue a proper error message when ptrace is not usable, preferably both at config time (in cmake) and at runtime.
I'm just filling this to not forget.