MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / initialize

Method initialize

src/common/SignalHandler.cpp:38–52  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

36}
37
38void SignalHandler::initialize()
39{
40#ifdef _WIN32
41 signal( SIGINT, got_signal );
42 signal( SIGTERM, got_signal );
43 signal( SIGABRT, got_signal );
44#else
45 struct sigaction sa;
46 memset( &sa, 0, sizeof( sa ) );
47 sa.sa_handler = got_signal;
48 sigfillset( &sa.sa_mask );
49 sigaction( SIGQUIT, &sa, NULL );
50 sigaction( SIGTERM, &sa, NULL );
51#endif
52}
53
54void SignalHandler::signalReceived( unsigned /* signalNumber */ )
55{

Callers 1

OptionsMethod · 0.45

Calls 1

sigactionClass · 0.85

Tested by

no test coverage detected