AMulet 2.0
AIG Multiplier Verification Tool
signal_statistics.cpp File Reference

used to handle signals, messages and statistics More...

Include dependency graph for signal_statistics.cpp:

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...
 

Detailed Description

used to handle signals, messages and statistics

Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz

Function Documentation

void catch_signal ( int  sig)

Catch signal and prints corresponding message

Parameters
siginteger
void die ( const char *  fmt,
  ... 
)

Prints an error message to stderr and exits the program

Parameters
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

Parameters
char*fmt message
void print_statistics ( int  modus)

Print statistics of maximum memory and used process time depending on selected modus

Parameters
modusinteger
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

Parameters
siginteger
Returns
char *

Variable Documentation

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.