model: fix release sequence with RMW, acq vs. acq/rel
[c11tester.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