CBMC
|
Go to the source code of this file.
Functions | |
void | register_child (pid_t pid) |
void | unregister_child () |
void | install_signal_catcher () |
void | remove_signal_catcher () |
void | signal_catcher (int sig) |
Variables | |
pid_t | child_pid = 0 |
void install_signal_catcher | ( | ) |
Definition at line 40 of file signal_catcher.cpp.
void register_child | ( | pid_t | pid | ) |
Definition at line 27 of file signal_catcher.cpp.
void remove_signal_catcher | ( | ) |
Definition at line 57 of file signal_catcher.cpp.
void signal_catcher | ( | int | sig | ) |
Definition at line 73 of file signal_catcher.cpp.
void unregister_child | ( | ) |
Definition at line 33 of file signal_catcher.cpp.
pid_t child_pid = 0 |
Definition at line 25 of file signal_catcher.cpp.