cprover
|
#include "object_factory_parameters.h"
#include "string2int.h"
#include <util/cmdline.h>
#include <util/options.h>
Go to the source code of this file.
Functions | |
void | parse_object_factory_options (const cmdlinet &cmdline, optionst &options) |
Parse the object factory parameters from a given command line. More... | |
Parse the object factory parameters from a given command line.
cmdline | Command line | |
[out] | options | The options object that will be updated. |
Definition at line 55 of file object_factory_parameters.cpp.