api_options.cpp File Reference

#include "api_options.h"
#include <util/cmdline.h>
#include <util/options.h>
#include <ansi-c/goto-conversion/goto_check_c.h>
#include <goto-checker/solver_factory.h>

Include dependency graph for api_options.cpp:

Go to the source code of this file.

Functions
static std::unique_ptr< optionst >	make_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.