Function printHelpMessage

src/engine/MarabouMain.cpp:56–60

}

void printHelpMessage()
{
    printVersion();
    Options::get()->printHelpMessage();
}

int marabouMain( int argc, char **argv )
{