CBMC
c_object_factory_parameters.h File Reference
+ Include dependency graph for c_object_factory_parameters.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  c_object_factory_parameterst
 

Functions

void parse_c_object_factory_options (const cmdlinet &cmdline, optionst &options)
 Parse the c object factory parameters from a given command line. More...
 

Function Documentation

◆ parse_c_object_factory_options()

void parse_c_object_factory_options ( const cmdlinet cmdline,
optionst options 
)

Parse the c object factory parameters from a given command line.

Parameters
cmdlineCommand line
[out]optionsThe options object that will be updated

Definition at line 11 of file c_object_factory_parameters.cpp.