Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ registerClient
Method
registerClient
src/common/SignalHandler.cpp:33–36 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
31
}
32
33
void SignalHandler::registerClient( Signalable *client )
34
{
35
_clients.append( client );
36
}
37
38
void SignalHandler::initialize()
39
{
Callers
1
solve
Method · 0.80
Calls
1
append
Method · 0.45
Tested by
no test coverage detected