CBMC
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
api_options.cpp File Reference
+ Include dependency graph for api_options.cpp:

Go to the source code of this file.

Functions

static std::unique_ptr< optionstmake_internal_default_options ()
 

Function Documentation

◆ make_internal_default_options()

static std::unique_ptr< optionst > make_internal_default_options ( )
static

Definition at line 16 of file api_options.cpp.