12 #ifndef CPROVER_UTIL_RUN_H 13 #define CPROVER_UTIL_RUN_H 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 =
"");
25 int run_shell(
const std::string &command);
27 #endif // CPROVER_UTIL_RUN_H int run_shell(const std::string &command)
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="")