CBMC
signal_catcher.cpp File Reference
#include "signal_catcher.h"
#include "invariant.h"
#include <cstdlib>
+ Include dependency graph for signal_catcher.cpp:

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
 

Function Documentation

◆ install_signal_catcher()

void install_signal_catcher ( )

Definition at line 40 of file signal_catcher.cpp.

◆ register_child()

void register_child ( pid_t  pid)

Definition at line 27 of file signal_catcher.cpp.

◆ remove_signal_catcher()

void remove_signal_catcher ( )

Definition at line 57 of file signal_catcher.cpp.

◆ signal_catcher()

void signal_catcher ( int  sig)

Definition at line 73 of file signal_catcher.cpp.

◆ unregister_child()

void unregister_child ( )

Definition at line 33 of file signal_catcher.cpp.

Variable Documentation

◆ child_pid

pid_t child_pid = 0

Definition at line 25 of file signal_catcher.cpp.