From 9031836d066385fcd527a2e6dc7e065473096f10 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Fri, 16 Dec 2016 12:18:38 -0800 Subject: [PATCH] update debugging information in readme file --- doc/README.txt | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/doc/README.txt b/doc/README.txt index 268b9af..ddb8763 100644 --- a/doc/README.txt +++ b/doc/README.txt @@ -27,3 +27,18 @@ Run the model checker. Use dot (from graphviz) to convert the outputted dot files into the format of your choice. + +III. Using the debugger (gdb). + +You can launch the debugger by passing in the gdb option to run.sh (or +you can lok at run.sh to see how to launch the model checker from +within a debugger). Since we trap SIGSEGV to detect pages that we +need to update, you have to disable stopping on SIGSEGV. To do this, +use the following commands: + +To run inside MacOS under gdb you need (lldb won't work as far as I know): +set dont-handle-bad-access 1 (sometime not necessary) +handle SIGBUS nostop noprint + +To run in Linux under gdb, use: +handle SIGSEGV nostop noprint -- 2.34.1