cprover
|
Go to the source code of this file.
Functions | |
void | install_signal_catcher () |
void | remove_signal_catcher () |
void | signal_catcher (int sig) |
void install_signal_catcher | ( | ) |
Definition at line 31 of file signal_catcher.cpp.
References signal_catcher().
Referenced by parse_options_baset::main().
void remove_signal_catcher | ( | ) |
Definition at line 48 of file signal_catcher.cpp.
Referenced by run().
void signal_catcher | ( | int | sig | ) |
Definition at line 64 of file signal_catcher.cpp.
Referenced by install_signal_catcher().