clockvector: snapshot our clock vectors
[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