run.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening
 
Date: August 2012
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_RUN_H
#define CPROVER_UTIL_RUN_H
 
#include <iosfwd>
#include <string>
#include <vector>
 
std::string shell_quote(const std::string &src);
 
int run(const std::string &what, const std::vector<std::string> &argv);
 
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);
 
int run(
  const std::string &what,
  const std::vector<std::string> &argv,
  const std::string &std_input,
  std::ostream &std_output,
  const std::string &std_error);
 
#ifdef _WIN32
std::wstring quote_windows_arg(const std::wstring &src);
#endif
 
#endif // CPROVER_UTIL_RUN_H