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

Method parseOptions

src/configuration/Options.cpp:105–108  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

103}
104
105void Options::parseOptions( int argc, char **argv )
106{
107 _optionParser.parse( argc, argv );
108}
109
110void Options::printHelpMessage() const
111{

Callers 1

marabouMainFunction · 0.80

Calls 1

parseMethod · 0.45

Tested by

no test coverage detected