cprover
signal_catcher.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_UTIL_SIGNAL_CATCHER_H
11
#define CPROVER_UTIL_SIGNAL_CATCHER_H
12
13
void
install_signal_catcher
();
14
void
remove_signal_catcher
();
15
void
signal_catcher
(
int
sig);
16
17
#endif // CPROVER_UTIL_SIGNAL_CATCHER_H
install_signal_catcher
void install_signal_catcher()
Definition:
signal_catcher.cpp:31
signal_catcher
void signal_catcher(int sig)
Definition:
signal_catcher.cpp:64
remove_signal_catcher
void remove_signal_catcher()
Definition:
signal_catcher.cpp:48
util
signal_catcher.h
Generated by
1.8.14