cprover
signal_catcher.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void install_signal_catcher ()
 
void remove_signal_catcher ()
 
void signal_catcher (int sig)
 

Function Documentation

◆ install_signal_catcher()

void install_signal_catcher ( )

Definition at line 31 of file signal_catcher.cpp.

References signal_catcher().

Referenced by parse_options_baset::main().

◆ remove_signal_catcher()

void remove_signal_catcher ( )

Definition at line 48 of file signal_catcher.cpp.

Referenced by run().

◆ signal_catcher()

void signal_catcher ( int  sig)

Definition at line 64 of file signal_catcher.cpp.

References pids_of_children.

Referenced by install_signal_catcher().