main: rename 'real_main()' to 'model_main()'
[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