# Place the following line in the file ~/.gdbinit to load this file.
# add-auto-load-safe-path ~/Projects/storm/.gdbinit
handle SIGXFSZ nostop noprint
handle SIGXCPU nostop noprint
handle SIGSEGV nostop noprint
