CBMC
Loading...
Searching...
No Matches
model_argc_argv.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Initialize command line arguments
4
5Author: Michael Tautschnig
6
7Date: April 2016
8
9\*******************************************************************/
10
13
14#ifndef CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
15#define CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
16
17class goto_modelt;
18class message_handlert;
19
20bool model_argc_argv(
21 goto_modelt &,
22 unsigned max_argc,
23 message_handlert &);
24
25#endif // CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
goto_modelt
Definition goto_model.h:27
message_handlert
Definition message.h:27
model_argc_argv
bool model_argc_argv(goto_modelt &, unsigned max_argc, message_handlert &)
Set up argv with up to max_argc pointers into an array of 4096 bytes.
Definition model_argc_argv.cpp:39