X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=DEBUGGINGNOTES.txt;h=70cbba672e8ad0410803b51efb747fc42a40a5c0;hb=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd;hp=1a114f1140aebf53e97e6de4431fc3796f4f9063;hpb=4fcf3cc74b221f589fb65e3bb8aa76341d0203ec;p=model-checker.git

diff --git a/DEBUGGINGNOTES.txt b/DEBUGGINGNOTES.txt
index 1a114f1..70cbba6 100644
--- a/DEBUGGINGNOTES.txt
+++ b/DEBUGGINGNOTES.txt
@@ -1,3 +1,6 @@
 To run inside MacOS under gdb you need:
 set dont-handle-bad-access 1
 handle SIGBUS nostop noprint
+
+To run in Linux under gdb, use:
+handle SIGSEGV nostop noprint