Signals are only blocked while they are being probed for by sigtimedwait.
Signals are only blocked while they are being probed for by sigtimedwait.

Previously, signals were blocked at the beginning of the program and never
unblocked.wq

sosy-lab/power-gadget_benchexec,sosy-lab/power-gadget_benchexec