cprover
|
Initialize command line arguments. More...
#include "model_argc_argv.h"
#include <sstream>
#include <util/cprover_prefix.h>
#include <util/invariant.h>
#include <util/message.h>
#include <util/namespace.h>
#include <util/config.h>
#include <util/replace_symbol.h>
#include <util/symbol_table.h>
#include <util/prefix.h>
#include <ansi-c/ansi_c_language.h>
#include <goto-programs/goto_convert.h>
#include <goto-programs/goto_model.h>
#include <goto-programs/remove_skip.h>
Go to the source code of this file.
Functions | |
std::string | escape_char (std::string input_string, std::string find_substring, std::string replace_substring) |
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. | |
Initialize command line arguments.
Definition in file model_argc_argv.cpp.
std::string escape_char | ( | std::string | input_string, |
std::string | find_substring, | ||
std::string | replace_substring | ||
) |
Definition at line 38 of file model_argc_argv.cpp.
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.