12 #ifndef CPROVER_UTIL_RUN_H
13 #define CPROVER_UTIL_RUN_H
19 int run(
const std::string &what,
const std::vector<std::string> &argv);
28 const std::string &what,
29 const std::vector<std::string> &argv,
30 const std::string &std_input,
31 const std::string &std_output,
32 const std::string &std_error);
42 const std::string &what,
43 const std::vector<std::string> &argv,
44 const std::string &std_input,
45 std::ostream &std_output,
46 const std::string &std_error);
48 #endif // CPROVER_UTIL_RUN_H