CBMC
Loading...
Searching...
No Matches
symtab2gb_parse_options.cpp File Reference
+ Include dependency graph for symtab2gb_parse_options.cpp:

Go to the source code of this file.

Functions

static bool failed (bool error_indicator)
 
static void run_symtab2gb (const std::vector< std::string > &symtab_filenames, const std::string &gb_filename, const std::string &goto_functions_filename_or_empty, const std::string &cmdline_verbosity)
 

Function Documentation

◆ failed()

static bool failed ( bool  error_indicator)
inlinestatic

Definition at line 41 of file symtab2gb_parse_options.cpp.

◆ run_symtab2gb()

static void run_symtab2gb ( const std::vector< std::string > &  symtab_filenames,
const std::string &  gb_filename,
const std::string &  goto_functions_filename_or_empty,
const std::string &  cmdline_verbosity 
)
static

Definition at line 46 of file symtab2gb_parse_options.cpp.