toss a place for useful information

[model-checker.git] / DEBUGGINGNOTES.txt

diff --git a/DEBUGGINGNOTES.txt b/DEBUGGINGNOTES.txt
new file mode 100644 (file)
index 0000000..1a114f1
--- /dev/null
+++ b/DEBUGGINGNOTES.txt
@@ -0,0 +1,3 @@
+To run inside MacOS under gdb you need:
+set dont-handle-bad-access 1
+handle SIGBUS nostop noprint