def activate_debug_shell_on_signal():
    signal.signal(signal.SIGUSR1, _debug_current_process)  # Register handler
Install a signal handler for USR1 that dumps stack traces
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/util.py/activate_debug_shell_on_signal