CBMC
Loading...
Searching...
No Matches
Functions
object_factory_parameters.cpp File Reference
#include "object_factory_parameters.h"
#include <util/cmdline.h>
#include <util/options.h>
+ Include dependency graph for object_factory_parameters.cpp:

Go to the source code of this file.

Functions

  Parse the object factory parameters from a given command line.
 

Function Documentation

◆  parse_object_factory_options()

void parse_object_factory_options ( const cmdlinetcmdline,
optionstoptions 
)

Parse the object factory parameters from a given command line.

Parameters
cmdline Command line
[out] options The options object that will be updated.

Definition at line 54 of file object_factory_parameters.cpp.

AltStyle によって変換されたページ (->オリジナル) /