cprover
|
Initialize command line arguments. More...
#include <list>
#include <string>
Go to the source code of this file.
Macros | |
#define | OPT_ARGC_ARGV "(model-argc-argv):(add-cmd-line-arg):" |
#define | HELP_ARGC_ARGV |
Functions | |
bool | model_argc_argv (goto_modelt &, const std::list< std::string > &argv_args, bool model_argv, message_handlert &) |
Set up argv to user-specified values (when model_argv is FALSE) or (when model_argv is TRUE) set up argv with up to max_argc pointers into a char array of 4096 bytes. | |
Initialize command line arguments.
Definition in file model_argc_argv.h.
#define HELP_ARGC_ARGV |
Definition at line 31 of file model_argc_argv.h.
#define OPT_ARGC_ARGV "(model-argc-argv):(add-cmd-line-arg):" |
Definition at line 29 of file model_argc_argv.h.
bool model_argc_argv | ( | goto_modelt & | goto_model, |
const std::list< std::string > & | argv_args, | ||
bool | model_argv, | ||
message_handlert & | message_handler | ||
) |
Set up argv to user-specified values (when model_argv is FALSE) or (when model_argv is TRUE) set up argv with up to max_argc pointers into a char array of 4096 bytes.
goto_model | Contains the input program's symbol table and intermediate representation |
argv_args | User-specified cmd-line arguments (ARGV), when model_argv is TRUE then size of argv_args represents the maximum number of arguments to be modelled |
model_argv | If set to TRUE then modelling argv with up to max_argc pointers |
message_handler | message logging |
Definition at line 74 of file model_argc_argv.cpp.