cprover
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,
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
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...