cprover
signal_catcher.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#ifndef CPROVER_UTIL_SIGNAL_CATCHER_H
11#define CPROVER_UTIL_SIGNAL_CATCHER_H
12
15void signal_catcher(int sig);
16
17#ifndef _WIN32
18#include <csignal>
19void register_child(pid_t);
20void unregister_child();
21#endif
22
23#endif // CPROVER_UTIL_SIGNAL_CATCHER_H
void remove_signal_catcher()
void install_signal_catcher()
void signal_catcher(int sig)
void unregister_child()
void register_child(pid_t)