CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
run.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening
6
7Date: 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
20std::string shell_quote(const std::string &src);
21
22int run(const std::string &what, const std::vector<std::string> &argv);
23
30int 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
44int 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
55std::wstring quote_windows_arg(const std::wstring &src);
56#endif
57
58#endif // CPROVER_UTIL_RUN_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
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