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

Method getCode

src/common/Error.cpp:50–53  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

48}
49
50int Error::getCode() const
51{
52 return _code;
53}
54
55void Error::setUserMessage( const char *userMessage )
56{

Callers 15

createInputQueryFunction · 0.80
preprocessFunction · 0.80
solveFunction · 0.80
calculateBoundsFunction · 0.80
parseMethod · 0.80
readVnnlibFileFunction · 0.80
parseFileMethod · 0.80
mainFunction · 0.80
expect_errorMethod · 0.80
mainFunction · 0.80
factorizeBasisMethod · 0.80
factorizeBasisMethod · 0.80

Calls

no outgoing calls

Tested by 15

expect_errorMethod · 0.64
test_invert_basisMethod · 0.64
test_find_index_of_rowMethod · 0.64
test_sanityMethod · 0.64
test_sanityMethod · 0.64
test_leaky_relu_constraintMethod · 0.64
test_lower_boundsMethod · 0.64
test_upper_boundsMethod · 0.64
test_relu_constraintMethod · 0.64
test_sign_constraintMethod · 0.64
test_pop_backMethod · 0.64
test_eraseMethod · 0.64