mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

- libs/ezsat/ezminisat.cc: use sigemptyset() to clear sig_action.sa_mask; use SA_RESTART flag for improved robustness of code that is not signal-aware.

Browse source
This commit is contained in:
Siesh1oo 2014-03-10 20:23:55 +01:00
parent 113f129b34
commit d091be4011
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
libs/ezsat/ezminisat.cc
View file

@ -176,8 +176,8 @@ contradiction:
if (solverTimeout > 0) { if (solverTimeout > 0) {
sig_action.sa_handler = alarmHandler; sig_action.sa_handler = alarmHandler;
sig_action.sa_mask = 0; sigemptyset(&sig_action.sa_mask);
sig_action.sa_flags = 0; sig_action.sa_flags = SA_RESTART;
alarmHandlerThis = this; alarmHandlerThis = this;
alarmHandlerTimeout = clock() + solverTimeout*CLOCKS_PER_SEC; alarmHandlerTimeout = clock() + solverTimeout*CLOCKS_PER_SEC;
old_alarm_timeout = alarm(0); old_alarm_timeout = alarm(0);