9 #ifndef _signal_statistics_H 10 #define _signal_statistics_H 15 #include <sys/resource.h> 59 void die (
const char *fmt, ...);
66 void msg (
const char *fmt, ...);
double substitution_time
measure for time used in substitution
Definition: signal_statistics.cpp:91
void init_all_signal_handers()
Definition: signal_statistics.cpp:32
size_t maximum_resident_set_size()
Definition: signal_statistics.cpp:95
double reduction_time
measure for time used to reduce
Definition: signal_statistics.cpp:90
double process_time()
Definition: signal_statistics.cpp:103
int verbose
Level of output verbosity, ranges from 0 to 4.
Definition: signal_statistics.cpp:60
void(* original_SIGINT_handler)(int)
Definition: signal_statistics.cpp:14
void catch_signal(int sig)
Definition: signal_statistics.cpp:41
double slicing_elim_time
measure for time used to eliminate & slice
Definition: signal_statistics.cpp:90
const char * signal_name(int sig)
Definition: signal_statistics.cpp:20
void(* original_SIGABRT_handler)(int)
Definition: signal_statistics.cpp:16
void(* original_SIGTERM_handler)(int)
Definition: signal_statistics.cpp:17
void reset_all_signal_handlers()
Definition: signal_statistics.cpp:51
void msg(const char *fmt,...)
Definition: signal_statistics.cpp:63
double reset_time
measure for resetting time
Definition: signal_statistics.cpp:90
void(* original_SIGSEGV_handler)(int)
Definition: signal_statistics.cpp:15
void print_statistics(int modus)
Definition: signal_statistics.cpp:113
void die(const char *fmt,...)
Definition: signal_statistics.cpp:75
double init_time
Time measures used for verify/certify modus.
Definition: signal_statistics.cpp:90