def signal_handler_ignore(signum, frame):
    logging.warning('Received signal %d, ignoring it.', signum)
Log and ignore all signals.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/benchexec.py/signal_handler_ignore