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