execution: refactor common CV propagation into its own function
[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