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

Method quitSignal

src/engine/Engine.cpp:2388–2391  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2386}
2387
2388void Engine::quitSignal()
2389{
2390 _quitRequested = true;
2391}
2392
2393Engine::ExitCode Engine::getExitCode() const
2394{

Callers 1

signalReceivedMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected