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

Method getExitCode

src/engine/Engine.cpp:2393–2396  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2391}
2392
2393Engine::ExitCode Engine::getExitCode() const
2394{
2395 return _exitCode;
2396}
2397
2398std::atomic_bool *Engine::getQuitRequested()
2399{

Callers 10

solveFunction · 0.45
calculateBoundsFunction · 0.45
test_sat_vnncompMethod · 0.45
test_unsat_vnncompMethod · 0.45
solveMethod · 0.45
run_sigmoid_testMethod · 0.45
run_inc_lin_cegar_testMethod · 0.45
solveQueryMethod · 0.45
displayResultsMethod · 0.45
popOneSubQueryAndSolveMethod · 0.45

Calls

no outgoing calls

Tested by 4

test_sat_vnncompMethod · 0.36
test_unsat_vnncompMethod · 0.36
run_sigmoid_testMethod · 0.36
run_inc_lin_cegar_testMethod · 0.36