cprover
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
17#include <list>
18#include <string>
19
20class goto_modelt;
22
25 const std::list<std::string> &argv_args,
26 bool model_argv,
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 supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:564
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...