fix bug...can't mo_check_promises until we're done resolving promises for a write...
[model-checker.git] / DEBUGGINGNOTES.txt
1 To run inside MacOS under gdb you need:
2 set dont-handle-bad-access 1
3 handle SIGBUS nostop noprint
4
5 To run in Linux under gdb, use:
6 handle SIGSEGV nostop noprint