used to handle signals, messages and statistics More...
#include "signal_statistics.h"
Functions | |
const char * | signal_name (int sig) |
void | init_all_signal_handers () |
void | catch_signal (int sig) |
void | reset_all_signal_handlers () |
void | msg (const char *fmt,...) |
void | die (const char *fmt,...) |
size_t | maximum_resident_set_size () |
double | process_time () |
void | print_statistics (int modus) |
Variables | |
void(* | original_SIGINT_handler )(int) |
void(* | original_SIGSEGV_handler )(int) |
void(* | original_SIGABRT_handler )(int) |
void(* | original_SIGTERM_handler )(int) |
int | verbose = 1 |
Level of output verbosity, ranges from 0 to 4. More... | |
double | init_time |
Time measures used for verify/certify modus. More... | |
double | slicing_elim_time |
measure for time used to eliminate & slice More... | |
double | reduction_time |
measure for time used to reduce More... | |
double | reset_time |
measure for resetting time More... | |
double | substitution_time |
measure for time used in substitution More... | |
used to handle signals, messages and statistics
Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz
void catch_signal | ( | int | sig | ) |
Catch signal and prints corresponding message
sig | integer |
void die | ( | const char * | fmt, |
... | |||
) |
Prints an error message to stderr and exits the program
char* | fmt message |
void init_all_signal_handers | ( | ) |
Initialize all signals
size_t maximum_resident_set_size | ( | ) |
Determines max used memory
void msg | ( | const char * | fmt, |
... | |||
) |
Prints a message to stdout
char* | fmt message |
void print_statistics | ( | int | modus | ) |
Print statistics of maximum memory and used process time depending on selected modus
modus | integer |
double process_time | ( | ) |
Determines the used process time
void reset_all_signal_handlers | ( | ) |
Resets all signal handlers
const char* signal_name | ( | int | sig | ) |
Returns name of signal
sig | integer |
double init_time |
Time measures used for verify/certify modus.
measure for initializing time
void(* original_SIGABRT_handler) (int) |
void(* original_SIGINT_handler) (int) |
void(* original_SIGSEGV_handler) (int) |
void(* original_SIGTERM_handler) (int) |
double reduction_time |
measure for time used to reduce
double reset_time |
measure for resetting time
double slicing_elim_time |
measure for time used to eliminate & slice
double substitution_time |
measure for time used in substitution
int verbose = 1 |
Level of output verbosity, ranges from 0 to 4.