cprover
signal_catcher.cpp File Reference
#include "signal_catcher.h"
#include <cstdlib>
#include <csignal>
#include <vector>
Include dependency graph for signal_catcher.cpp:

Go to the source code of this file.

Functions

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

Variables

std::vector< pid_t > pids_of_children
 

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().

Variable Documentation

◆ pids_of_children

std::vector<pid_t> pids_of_children

Definition at line 28 of file signal_catcher.cpp.

Referenced by signal_catcher().