CBMC
run.h File Reference
#include <iosfwd>
#include <string>
#include <vector>
+ Include dependency graph for run.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::string shell_quote (const std::string &src)
 This performs shell quoting if necessary on input src. More...
 
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)
 This runs the executable given by the file name what. More...
 
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)
 This runs the executable given by the file name what. More...
 

Function Documentation

◆ run() [1/3]

int run ( const std::string &  what,
const std::vector< std::string > &  argv 
)

Definition at line 48 of file run.cpp.

◆ run() [2/3]

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 
)

This runs the executable given by the file name what.

Control returns when execution has finished. Stdin, stdout and stderr may be redirected from/to a given file. Give the empty string to retain the default handle. Any shell-meta characters in the executable, argv and the I/O redirect files are escaped as needed.

Definition at line 252 of file run.cpp.

◆ run() [3/3]

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 
)

This runs the executable given by the file name what.

Control returns when execution has finished. Stdin and stderr may be redirected from/to a given file. Give the empty string to retain the default handle. Any output to stdout is stored in the std_output stream buffer. Any shell-meta characters in the executable, argv and the I/O redirect files are escaped as needed.

Definition at line 524 of file run.cpp.

◆ shell_quote()

std::string shell_quote ( const std::string &  src)

This performs shell quoting if necessary on input src.

This performs shell quoting if necessary on input src.

Definition at line 451 of file run.cpp.