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

Method getExitCode

src/engine/DnCManager.cpp:265–268  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

263}
264
265DnCManager::DnCExitCode DnCManager::getExitCode() const
266{
267 return _exitCode;
268}
269
270void DnCManager::updateDnCExitCode()
271{

Callers 1

updateDnCExitCodeMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected