cprover
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 <string>
16 #include <vector>
17 
18 int run(
19  const std::string &what,
20  const std::vector<std::string> &argv,
21  const std::string &std_input = "",
22  const std::string &std_output = "",
23  const std::string &std_error = "");
24 
25 int run_shell(const std::string &command);
26 
27 #endif // CPROVER_UTIL_RUN_H
int run_shell(const std::string &command)
Definition: run.cpp:35
int run(const std::string &what, const std::vector< std::string > &argv, const std::string &std_input="", const std::string &std_output="", const std::string &std_error="")
Definition: run.cpp:82