8 int picosat_main (int, char **);
12 static void (*sig_int_handler
);
13 static void (*sig_segv_handler
);
14 static void (*sig_abrt_handler
);
15 static void (*sig_term_handler
);
17 static void (*sig_kill_handler
);
18 static void (*sig_xcpu_handler
);
19 static void (*sig_xfsz_handler
);
23 resetsighandlers (void)
25 (void) signal (SIGINT
, sig_int_handler
);
26 (void) signal (SIGSEGV
, sig_segv_handler
);
27 (void) signal (SIGABRT
, sig_abrt_handler
);
28 (void) signal (SIGTERM
, sig_term_handler
);
30 (void) signal (SIGKILL
, sig_kill_handler
);
31 (void) signal (SIGXCPU
, sig_xcpu_handler
);
32 (void) signal (SIGXFSZ
, sig_xfsz_handler
);
39 picosat_message (1, "");
40 picosat_message (1, "*** CAUGHT SIGNAL %d ***", sig
);
41 picosat_message (1, "");
62 sig_int_handler
= signal (SIGINT
, catch);
63 sig_segv_handler
= signal (SIGSEGV
, catch);
64 sig_abrt_handler
= signal (SIGABRT
, catch);
65 sig_term_handler
= signal (SIGTERM
, catch);
67 sig_kill_handler
= signal (SIGKILL
, catch);
68 sig_xcpu_handler
= signal (SIGXCPU
, catch);
69 sig_xfsz_handler
= signal (SIGXFSZ
, catch);
74 main (int argc
, char **argv
)
78 for (verbose
= argc
- 1; verbose
; verbose
--)
79 if (!strcmp (argv
[verbose
], "-v"))
85 res
= picosat_main (argc
, argv
);
92 int picosat_main (int, char **);
95 main (int argc
, char **argv
)
97 return picosat_main (argc
, argv
);
98 >>>>>>> 7a0fcd7
... Import PicoSAT
-965