model_argc_argv.cpp File Reference

Initialize command line arguments. More...

#include "model_argc_argv.h"
#include <util/config.h>
#include <util/cprover_prefix.h>
#include <util/invariant.h>
#include <util/message.h>
#include <util/namespace.h>
#include <util/prefix.h>
#include <util/replace_symbol.h>
#include <util/symbol_table.h>
#include <goto-programs/goto_model.h>
#include <goto-programs/remove_skip.h>
#include <ansi-c/ansi_c_language.h>
#include <ansi-c/goto-conversion/goto_convert.h>
#include <sstream>

Include dependency graph for model_argc_argv.cpp:

Go to the source code of this file.

Functions
bool	model_argc_argv (goto_modelt &goto_model, unsigned max_argc, message_handlert &message_handler)
	Set up argv with up to max_argc pointers into an array of 4096 bytes. More...

Detailed Description

Initialize command line arguments.

Definition in file model_argc_argv.cpp.

Function Documentation

model_argc_argv()

bool model_argc_argv	(	goto_modelt &	goto_model,
		unsigned	max_argc,
		message_handlert &	message_handler
	)

Set up argv with up to max_argc pointers into an array of 4096 bytes.

Parameters

goto_model	Contains the input program's symbol table and intermediate representation
max_argc	User-specified maximum number of arguments to be modelled
message_handler	message logging

Returns

True, if and only if modelling succeeded

Definition at line 39 of file model_argc_argv.cpp.