cprover
|
Initialize command line arguments. More...
Go to the source code of this file.
Functions | |
bool | model_argc_argv (symbol_tablet &symbol_table, goto_functionst &goto_functions, unsigned max_argc, message_handlert &message_handler) |
Initialize command line arguments.
Definition in file model_argc_argv.h.
bool model_argc_argv | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions, | ||
unsigned | max_argc, | ||
message_handlert & | message_handler | ||
) |
Definition at line 32 of file model_argc_argv.cpp.
References symbol_tablet::add(), configt::ansi_c, config, CPROVER_PREFIX, messaget::eom(), messaget::error(), Forall_goto_program_instructions, forall_symbols, goto_functions_templatet< bodyT >::function_map, goto_convert(), has_prefix(), id2string(), replace_symbolt::insert(), irept::is_not_nil(), namespacet::lookup(), configt::main, symbolt::mode, configt::ansi_ct::NONE, code_typet::parameters(), configt::ansi_ct::preprocessor, remove_skip(), messaget::set_message_handler(), symbol_tablet::symbols, to_code(), to_code_type(), symbolt::type, goto_functions_templatet< bodyT >::update(), and messaget::warning().
Referenced by goto_instrument_parse_optionst::instrument_goto_program().