cprover
Loading...
Searching...
No Matches
model_argc_argv.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Initialize command line arguments
4
5
Author: Michael Tautschnig
6
7
Date: 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
17
#include <list>
18
#include <string>
19
20
class
goto_modelt
;
21
class
message_handlert
;
22
23
bool
model_argc_argv
(
24
goto_modelt
&,
25
const
std::list<std::string> &
argv_args
,
26
bool
model_argv
,
27
message_handlert
&);
28
29
#define OPT_ARGC_ARGV "(model-argc-argv):(add-cmd-line-arg):"
30
31
#define HELP_ARGC_ARGV \
32
" --model-argc-argv <n> model up to <n> command line arguments\n" \
33
" --add-cmd-line-arg <arg> add command line argument (may be " \
34
"repeated)\n"
35
36
#endif
// CPROVER_GOTO_INSTRUMENT_MODEL_ARGC_ARGV_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:563
goto_modelt
Definition
goto_model.h:27
message_handlert
Definition
message.h:28
model_argc_argv
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 a...
Definition
model_argc_argv.cpp:74
goto-instrument
model_argc_argv.h
Generated by
1.10.0