AMulet 2.0
AIG Multiplier Verification Tool
signal_statistics.h
Go to the documentation of this file.
1 /*------------------------------------------------------------------------*/
8 /*------------------------------------------------------------------------*/
9 #ifndef _signal_statistics_H
10 #define _signal_statistics_H
11 /*------------------------------------------------------------------------*/
12 #include <stdarg.h>
13 #include <signal.h>
14 #include <sys/time.h>
15 #include <sys/resource.h>
16 #include <iostream>
17 /*------------------------------------------------------------------------*/
18 extern void (*original_SIGINT_handler)(int);
19 extern void (*original_SIGSEGV_handler)(int);
20 extern void (*original_SIGABRT_handler)(int);
21 extern void (*original_SIGTERM_handler)(int);
22 
30 const char * signal_name (int sig);
31 
36 
37 
43 void catch_signal (int sig);
44 
49 
50 /*------------------------------------------------------------------------*/
52 extern int verbose;
53 
59 void die (const char *fmt, ...);
60 
66 void msg (const char *fmt, ...);
67 /*------------------------------------------------------------------------*/
68 
70 extern double init_time;
71 extern double slicing_elim_time;
72 extern double reduction_time;
73 extern double reset_time;
74 extern double substitution_time;
75 
80 
84 double process_time ();
85 
86 
93 void print_statistics (int modus);
94 
95 
96 
97 
98 #endif
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