cprover
model_argc_argv.h File Reference

Initialize command line arguments. More...

#include <list>
#include <string>
+ Include dependency graph for model_argc_argv.h:
+ This graph shows which files directly or indirectly include this file:

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. More...
 

Detailed Description

Initialize command line arguments.

Definition in file model_argc_argv.h.

Macro Definition Documentation

◆ HELP_ARGC_ARGV

#define HELP_ARGC_ARGV
Value:
" --model-argc-argv <n> model up to <n> command line arguments\n" \
" --add-cmd-line-arg <arg> add command line argument (may be " \
"repeated)\n"

Definition at line 31 of file model_argc_argv.h.

◆ OPT_ARGC_ARGV

#define OPT_ARGC_ARGV   "(model-argc-argv):(add-cmd-line-arg):"

Definition at line 29 of file model_argc_argv.h.

Function Documentation

◆ model_argc_argv()

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.

Parameters
goto_modelContains the input program's symbol table and intermediate representation
argv_argsUser-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_argvIf set to TRUE then modelling argv with up to max_argc pointers
message_handlermessage logging
Returns
True, if and only if modelling succeeded

Definition at line 74 of file model_argc_argv.cpp.