ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
handle.h File Reference
#include <signal.h>
#include "global.h"
Include dependency graph for handle.h:

Go to the source code of this file.

Macros

#define SIGNAL_SIGBUS   SIGNAL (SIGBUS)
 
#define SIGNALS
 
#define SIGNAL(SIG)
 

Functions

ABC_NAMESPACE_HEADER_START void kissat_init_signal_handler (void(*handler)(int))
 
void kissat_reset_signal_handler (void)
 
void kissat_init_alarm (void(*handler)(void))
 
void kissat_reset_alarm (void)
 

Macro Definition Documentation

◆ SIGNAL

#define SIGNAL ( SIG)
Value:
if (sig == SIG) return #SIG;

◆ SIGNAL_SIGBUS

#define SIGNAL_SIGBUS   SIGNAL (SIGBUS)

Definition at line 18 of file handle.h.

◆ SIGNALS

#define SIGNALS
Value:
SIGNAL (SIGABRT) \
SIGNAL_SIGBUS \
SIGNAL (SIGINT) \
SIGNAL (SIGSEGV) \
SIGNAL (SIGTERM)
#define SIGNAL(SIG)

Definition at line 21 of file handle.h.

21#define SIGNALS \
22 SIGNAL (SIGABRT) \
23 SIGNAL_SIGBUS \
24 SIGNAL (SIGINT) \
25 SIGNAL (SIGSEGV) \
26 SIGNAL (SIGTERM)

Function Documentation

◆ kissat_init_alarm()

void kissat_init_alarm ( void(* handler )(void))

◆ kissat_init_signal_handler()

ABC_NAMESPACE_HEADER_START void kissat_init_signal_handler ( void(* handler )(int))

◆ kissat_reset_alarm()

void kissat_reset_alarm ( void )

◆ kissat_reset_signal_handler()

void kissat_reset_signal_handler ( void )