CBMC
run.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening
6 
7 Date: August 2012
8 
9 \*******************************************************************/
10 
11 
12 #ifndef CPROVER_UTIL_RUN_H
13 #define CPROVER_UTIL_RUN_H
14 
15 #include <iosfwd>
16 #include <string>
17 #include <vector>
18 
20 std::string shell_quote(const std::string &src);
21 
22 int run(const std::string &what, const std::vector<std::string> &argv);
23 
30 int run(
31  const std::string &what,
32  const std::vector<std::string> &argv,
33  const std::string &std_input,
34  const std::string &std_output,
35  const std::string &std_error);
36 
44 int run(
45  const std::string &what,
46  const std::vector<std::string> &argv,
47  const std::string &std_input,
48  std::ostream &std_output,
49  const std::string &std_error);
50 
51 #ifdef _WIN32
55 std::wstring quote_windows_arg(const std::wstring &src);
56 #endif
57 
58 #endif // CPROVER_UTIL_RUN_H
run
int run(const std::string &what, const std::vector< std::string > &argv)
Definition: run.cpp:48
shell_quote
std::string shell_quote(const std::string &src)
This performs shell quoting if necessary on input src.
Definition: run.cpp:451